A Type-Logic Approach to Refinement / Julia Barragán
Material type: ArticleLanguage: English In: Theoria vol. 11, nº. 26, 1996, págs. 91-103Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Artículos de revista | San Esteban Depósito de revistas | Available |