Categorical Completeness Results for the Simply-Typed Lambda-Calculus (1995)
by
Alex K. Simpson
| Venue: | Proceedings of TLCA '95, Springer LNCS 902 |
| Citations: | 9 - 0 self |
Active Bibliography
| 24 | A New Characterization of Lambda Definability – Achim Jung, Jerzy Tiuryn - 1993 |
| 17 | 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 |
| 1 | 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 |
| 10 | Models of Lambda Calculi and Linear Logic: Structural, Equational and Proof-Theoretic Characterisations – Ralph Loader, Proof-theoretic Characterisations - 1994 |
| 42 | 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 |
| 15 | 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 |
| 27 | 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 |
