La théorie intuitionniste des types: sémantique des preuves et théorie des constructions / Michel Bourdeau
Material type:
ArticleLanguage: French
In:
Dialogue vol. 36, nº. 2, 1997, págs. 323-340
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Artículos de revista
|
San Esteban Depósito de revistas | Available |