Results
| Title: | Proof Theory Chapter 6C | Authors: | Gilezan, Silvia   |
Issue Date: | 2012 | Publication: | Lambda Calculus with Types | Publisher: | Cambridge University Press | Type: | Book parts | ISBN: | 9780521766142  Search Idenfier |
Collation: | str. 267-276 | URI: | https://enauka.gov.rs/handle/123456789/376451 | Metadata source: | Migrirano iz RIS podataka | Availability note: | Пуни текст није јавно доступан | M-category: | Mp. category will be shown later |
Google ScholarTM
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.