-
Refine your search:
-
Keyword:
- ACM: D.: Software / D.3: PROGRAMMING LANGUAGES / D.3.3: Language Constructs and Features / D.3.3.4: Control structures (1)
- ACM: F.: Theory of Computation / F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES / F.4.1: Mathematical Logic / F.4.1.2: Lambda calculus and related systems (1)
- ACM: F.: Theory of Computation / F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES / F.4.1: Mathematical Logic / F.4.1.7: Proof theory (1)
- CPS-translations (1)
- Curry-Howard-de Bruijn proof-as-program correspondence (1)
- [INFO.INFO-LO]Computer Science [cs] / Logic in Computer Science [cs.LO] (1)
- [INFO.INFO-PL]Computer Science [cs] / Programming Languages [cs.PL] (1)
- call-by-name (1)
- call-by-value (1)
- duality (1)
- more
-
Creator / Publisher:
- Curien, Pierre-Louis (1)
- Formal Specifications and Program Validation (COQ) (1)
- Herbelin, Hugo (1)
- Inria Paris-Rocquencourt (1)
- Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria) (1)
- Preuves, Programmes et Systèmes (PPS) (1)
- Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS) (1)
-
Year -
Medium -
Type -
BLLDB-Access
-