Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Daniel O. Martínez-Rivillas"'
Publikováno v:
Bulletin of the Section of Logic, Vol 52, Iss 1, Pp 39-58 (2023)
One takes advantage of some basic properties of every homotopic \(\lambda\)-model (e.g. extensional Kan complex) to explore the higher \(\beta\eta\)-conversions, which would correspond to proofs of equality between terms of a theory of equality of an
Externí odkaz:
https://doaj.org/article/074b4979639445708638d2107e04b16e
Publikováno v:
Logic Journal of the IGPL. 30:465-488
The lambda calculus is a universal programming language. It can represent the computable functions, and such offers a formal counterpart to the point of view of functions as rules. Terms represent functions and this allows for the application of a te
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::01b1163623bc929f03f11098e86444e1
https://doi.org/10.1093/jigpal/jzab015
https://doi.org/10.1093/jigpal/jzab015
An appropriate framework is put forward for the construction of $\lambda$-models with $\infty$-groupoid structure, which we call \textit{homotopic $\lambda$-models}, through the use of an $\infty$-category with cartesian closure and enough points. Wi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2052e1efad6725d86bae5b70d64f529c
Publikováno v:
Daniel O. Martínez-Rivillas
A Teoria dos Domínios de Dana Scott fornece técnicas gerais para a obtenção de $\lambda$-modelos através da resolução de equações de domínio sobre categorias cartesianas fechadas arbitrárias. A intenção aqui é oferecer uma exposição d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2dc974dce385db18f2345065b08cd13c
https://sol.sbc.org.br/index.php/etc/issue/view/777
https://sol.sbc.org.br/index.php/etc/issue/view/777