A Notation for Lambda Terms I: A Generalization of Environments (1994)

Cached

Download Links

by Gopalan Nadathur , Debra Sue Wilson
Venue:THEORETICAL COMPUTER SCIENCE
Citations:33 - 12 self

Active Bibliography

12 A Notation for Lambda Terms II: Refinements and Applications – Gopalan Nadathur - 1994
25 A Fine-Grained Notation for Lambda Terms and Its Use in Intensional Operations – Gopalan Nadathur - 1996
215 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
568 Term Rewriting Systems – J. W. Klop - 1992
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
454 Rewriting – Nachum Dershowitz, David A. Plaisted - 2001
751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
unknown title – unknown authors
1111 Proof-Carrying Code – George C. Necula - 1997