Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Stone representation theorem for combinatory algebras"'
Autor:
Manzonetto, Giulio
Publikováno v:
[Research Report] 2009
A quarter of century after Barendregt's main book, a wealth of interesting problems about models and theories of the untyped lambda-calculus are still open. In this thesis we will be mainly interested in the main semantics of lambda-calculus (i.e., t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0f0f100099fff616af529cc95991a5e1
https://theses.hal.science/tel-00715207
https://theses.hal.science/tel-00715207
