Abstract | Keywords | Export | Availability | Bookmark

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Logica --- Logique --- Curry-Howard isomorphism --- Proof theory --- Lambda calculus --- Type Theory --- Type theory --- Isomorphisme de Curry-Howard --- Théorie de la démonstration --- Lambda-calcul --- Théorie des types --- Isomorphisme de Curry-Howard. --- Théorie de la démonstration. --- Lambda-calcul. --- Théorie des types. --- Théorie de la démonstration. --- Théorie des types.