Categorical Completeness Results for the Simply-Typed Lambda-Calculus (1995)


Download Links

by Alex K. Simpson
Venue:Proceedings of TLCA '95, Springer LNCS 902
Citations:10 - 0 self

Active Bibliography

26 A New Characterization of Lambda Definability – Achim Jung, Jerzy Tiuryn - 1993
18 The maximality of the typed lambda calculus and of cartesian closed categories – Zoran Petrić
SPCF: Its Model, Calculus, and Computational Power (Preliminary Version) – Ramarao Kanneganti, Robert Cartwright, Robert Cartwright, Matthias Felleisen, Matthias Felleisen - 1992
1 Algebraic Reasoning and Completeness in Typed Languages – Jon G. Riecke, Ramesh Subrahmanyam - 1992
2 Logic and computation in a lambda calculus with intersection . . . – Daniel J. Dougherty, et al.
9 Equality Between Functionals in the Presence of Coproducts – Daniel J. Dougherty, Ramesh Subrahmanyam - 1995
Kripke Models and the (in)equational Logic of the Second-Order Lambda-Calculus – Jean Gallier - 1995
Completeness Results for . . . – Mark Kaminski - 2006
4 On statman's finite completeness theorem – Richard Statman, Gilles Dowek - 1992
3 Functionality, polymorphism, and concurrency: a mathematical investigation of programming paradigms – Peter Selinger, Peter Selinger, Peter Selinger, Andre Scedrov - 1997
11 Models of Lambda Calculi and Linear Logic: Structural, Equational and Proof-Theoretic Characterisations – Ralph Loader, Proof-theoretic Characterisations - 1994
44 Kripke-Style Models for Typed Lambda Calculus – John C. Mitchell, Eugenio Moggi - 1996
3 A Confluent Reduction for the Extensional Typed Lambda-Calculus With Pairs, Sums, Recursion and Terminal Object – Roberto Di Cosmo, Delia Kesner - 1993
17 Simulating Expansions Without Expansions – Roberto Di Cosmo, Roberto Di Cosmo, Delia Kesner, Delia Kesner - 1993
βη-complete models for System F – Stefano Berardi, Chantal Berline - 2000
1 Reasoning about Redundant Patterns – Delia Kesner, Editorial Board, H. Ait-kaci, L. Augustsson, Ch. Brzoska, J. Darlington, Y. Guo, M. Hagiya, M. Hanus, T. Ida, J. Jaffar, B. Jayaraman, M. Kohler, A. Krall, H. Kuchen, J. Launchbury, J. Lloyd, A. Middeldorp, D. Miller, J. J. Moreno-navarro, L. Naish M. J. O'donnell, P. Padawitz, C. Palamidessi, F. Pfenning, D. Plaisted, R. Plasmeijer, U. Reddy, F. Silbermann, P. Van, Hentenryck D. S. Warren - 1997
29 Complete Axioms for Categorical Fixed-point Operators – Alex Simpson, Gordon Plotkin - 2000
The Logic and Expressibility of Simply-typed Call-by-value and Lazy Languages – Albert R. Meyer, Campbell L. Searle, Jon G. Riecke, Jon Gary Riecke - 1991
20 Some Lambda Calculi With Categorical Sums and Products – Daniel J. Dougherty - 1993