Course Notes in Typed Lambda Calculus (1998)

Cached

Download Links

by Thierry Coquand
Citations:2 - 0 self

Documents Related by Co-Citation

7 Coquand's calculus of constructions: A mathematical foundation for a proof development system – Jonathan P Seldin - 1992
304 Introduction to Mathematical Logic – E Mendelson - 1979
2 The Situation and State Calculus – Jaime Ramos - 1997
1 The Coq Proof Assistant: The Standard Library. INRIA Rocquencourt, first edition – Anonymous - 1996
1 The Coq Proof Assistant: Reference Manual V6.1. INRIA Rocquencourt, first edition – C Paulin-Mohring - 1996
1 The Situation and State Calculus: Specification and Verification of Interacting Reactive Systems – J Ramos - 1998
25 Constructive Category Theory – Gérard Huet, Amokrane Saïbi - 1998
127 Temporal Reasoning in the Situation Calculus – Javier Andrés Pinto - 1994
1483 Some philosophical problems from the standpoint of artificial intelligence – John McCarthy, Patrick J. Hayes - 1969
556 The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression – R Reiter - 1991
1 The Coq Proof Assistant: A Tutorial. INRIA Rocquencourt – G Huet, G Kahn, C Paulin-Mohring - 1996
1 The Coq Proof Assistant: The Standard Library – INRIA Rocquencourt - 1996
1 The Coq Proof Assistant – C Paulin-Mohring - 1996
1 Introduc~ao `a teoria da computac~ao – C Sernadas - 1993
1 Folhas de Elementos L'ogicos da Programac~ao I, Secc~ao de Ciencia da Computac~ao – A Sernadas, C Sernadas, J Ramos - 1993
13 Branching Time and Partial Order in Temporal Logics – Wojciech Penczek - 1995
15 Circuits as Streams in Coq: Verification of a Sequential Multiplier – C Paulin-Mohring - 1995
200 Logics of Time and Computation – R I Goldblatt - 1987
1107 Temporal and modal logic – E. Allen Emerson - 1995