Publisher
Springer Science and Business Media LLC
Subject
General Computer Science,Theoretical Computer Science,Algebra and Number Theory
Reference17 articles.
1. Blute, R.F., Scott, P.J.: Linear Läuchli semantics. Ann. Pure Appl. Logic 77(2), 101–142 (1996)
2. Carboni, A.: Some free constructions in realizability and proof theory. J. Pure Appl. Algebra 103(2), 117–148 (1995)
3. Harnik, V., Makkai, M.: Lambek’s categorical proof theory and Läuchli’s realizability. J. Symbolic Logic 57(1), 200–230 (1992)
4. Johnstone, P.T.: Sketches of an Elephant: A Topos Theory Compendium, vol. 43–44 of Oxford Logic Guides. The Clarendon Press Oxford University Press, New York (2002)
5. Kleene, S.C.: Introduction to Metamathematics. North Holland (1952)