Zobrazeno 1 - 2
of 2
pro vyhledávání: '"AF2-type system"'
Autor:
Christophe Raffalli
Publikováno v:
Theoretical Computer Science. 254:259-271
We formalize, in the AF 2 -type system, a completeness and correctness theorem for a modified Kripke semantics for minimal logic. We show that any program extracted from a proof of the completeness theorem translates higher-order encoding of a λ -te
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8db33076916e31a4bf169f243a7f5ef8
https://doi.org/10.1016/s0304-3975(99)00141-3
https://doi.org/10.1016/s0304-3975(99)00141-3
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.