Intensional Models for the Theory of Types

Article Dans Une Revue The Journal of Symbolic Logic Année : 2007

(1, 2, 3)

1
2
3

Reinhard Muskens

Department of Philosophy

Logique en informatique [cs.LO] Logique [math.LO] Philosophie Informatique et langage [cs.CL]

https://hal.science/hal-00412577

Soumis le : mercredi 2 septembre 2009-11:01:05

Dernière modification le : vendredi 5 avril 2024-09:27:56

hal-00412577 , version 1 (02-09-2009)

Reinhard Muskens. Intensional Models for the Theory of Types. The Journal of Symbolic Logic, 2007, 72 (1), pp.98--118. ⟨hal-00412577⟩

CNRS INRIA LABRI INRIA2 UNIV-BORDEAUX-MONTAIGNE

133 Consultations

0 Téléchargements