.:. Consultation > Liste par discipline > Logique .:.

24 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2 - 3

Constructing Free Boolean Categories Lamarche F., Strassburger L. (2005) 478 [hal-00012296 - version 1]

Naming Proofs in Classical Propositional Logic Lamarche F., Strassburger L. (2005) 434 [hal-00012294 - version 1]

Strong Normalization of the Typed lambda_ws-calculus David R., Guillaume B. Dans Computer Science Logic'03 2803 (2003) 155-168 [hal-00385195 - version 1]

A lambda-calculus with explicit weakening and explicit substitution David R., Guillaume B. Mathematical Structures in Computer Science 11, 1 (2001) 169-206 [hal-00384683 - version 1]