Partial Objects in the Calculus of Constructions (1991)

Cached

Download Links

by Philippe Audebaud
Citations:19 - 1 self

Active Bibliography

Rewrite Systems with Abstraction and β-rule: Types, Approximants and Normalization – Steffen Van Bakel, Franco Barbanera, Maribel Fernández
A system for incorporating higher order functions in Equational Programs – Srinivas Padmanabhuni Department, Srinivas Padmanabhuni
7 Managing Structural Information by Higher-Order Colored Unification – Dieter Hutter, Michael Kohlhase - 1999
1 Normal Forms in Combinatory Logic – Patricia Johann - 1992
1 Inductive Data Type Systems: Strong Normalization – Jean-pierre Jouannaud, Mitsuhiro Okada - 1997
4 An Application of Klop's Counterexample to a Higher-Order Rewrite System – Dan Nesmith - 1989
4 Operational and Axiomatic Semantics of PCF – Brian T. Howard, John C. Mitchell - 1990
14 Fixed Points and Extensionality in Typed Functional Programming Languages – Brian T. Howard - 1992
4 Polymorphic Intersection Type Assignment for Rewite Systems with Intersection and beta-rule (Extended Abstract) – Steffen van Bakel, Franco Barbanera, Maribel Fernández - 2000
20 Adding algebraic rewriting to the untyped lambda calculus – Daniel J. Dougherty - 1992
19 Nominal rewriting – Maribel Fernández, Murdoch J. Gabbay
84 Combinatory Reduction Systems: introduction and survey – Jan Willem Klop, Vincent van Oostrom, Femke van Raamsdonk - 1993
22 Rewriting calculus with(out) types – Horatiu Cirstea, Claude Kirchner, Luigi Liquori - 2002
Course Information – Instructor Ada Dong
4 A First Order Logic of Effects – Ian A. Mason - 1996
Hybrid typing, Functional programming – Michael M. Vitousek - 2010
Mike Stay – A Rosetta Stone, John C. Baez, Amphitheatre Pkwy - 2008
8 Models of Control and Their Implications for Programming Language Design – Dorai Sitaram - 1994
5 Physics, Topology, Logic and Computation: A Rosetta Stone – John C. Baez, Mike Stay - 2009