Reviewing the classical and the de Bruijn notation for λ-calculus and pure type systems (2001)

Cached

Download Links

by Fairouz Kamareddine
Venue:Logic and Computation
Citations:3 - 0 self

Documents Related by Co-Citation

2 Program semantics and classical logic – Reinhard Muskens
30 Semantics with Applications – H R Nielson, F Nielson - 1992
21 Hoare Logics in Isabelle/HOL – Tobias Nipkow - 2002
311 An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (2nd Ed – Peter B Andrews - 2002
66 Tense and the logic of change – Reinhard Muskens - 1995
418 Logic programming – K Apt - 1990
7 A Mathematical Investigation of Reasoning About Actions – G. Neelakantan Kartha - 1995
416 Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems – R Reiter - 2001
422 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
389 Representing Action and Change by Logic Programs – Michael Gelfond, Vladimir Lifschitz - 1993
2 On programs in rational agents – J Villadsen - 2001
4 The partial evaluation of imperative programs using prolog – Brian J Ross - 1988
54 TYPOL: a formalism to implement natural semantics – Despeyroux - 1988
3 The metalanguage λProlog and its implementation – G Nadathur
300 Natural semantics – G. Kahn - 1987
54 Alma-0: An Imperative Language that Supports Declarative Programming – Krzysztof R. Apt, Jacob Brunekreef, Vincent Partington, Andrea Schaerf - 1998
12 Analysis of Imperative Programs through Analysis of Constraint Logic Programs – Julio C. Peralta, Julio C. Peralta, John P. Gallagher, John P. Gallagher, Huseyin Saglam, Huseyin Saglam - 1998
59 From operational semantics to abstract machines – John Hannan, Dale Miller - 1992
1 Programming with static invariants – Nathan Linger, Tim Sheard - 2004