Bibliography

Overview

Tree

Index

Bibliography

FRAMES NO FRAME

&--1 2 3 4 5 6 7 8 9 A &A -A B C -C -C -C D E &E F G H I -I J K &K L &L M N &N O P &P Q R S &S -S -S T -T -T U V W X Y Z

L

L: in: Kohlenbach U. and Oliva P.
"Proof mining in L₁-approximation" (2003)
Lambda: in: Streicher T.
"A classical realizability model arising from a stable model of untyped lambda calculus." (2017)

&--1 2 3 4 5 6 7 8 9 A &A -A B C -C -C -C D E &E F G H I -I J K &K L &L M N &N O P &P Q R S &S -S -S T -T -T U V W X Y Z

Overview

Tree

Index

Bibliography

FRAMES NO FRAME

This document was generated by bib2html 6.7.
Copyright © 1998-2011 Stephane GALLAND (under the GNU General Public License)