An Extension of the Formulas-as-types Paradigm / J. Lambek
Material type:
ArticleLanguage: English Subject(s): Paradigma Informático
In:
Dialogue vol. 36, nº. 1, 1997, págs. 33-44
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Artículos de revista
|
San Esteban Depósito de revistas | Available |