Zobrazeno 1 - 10
of 160
pro vyhledávání: '"Models of Lambda Calculus"'
Publikováno v:
Logical Methods in Computer Science, Volume 18, Issue 3 (July 29, 2022) lmcs:7645
Turing machines and register machines have been used for decades in theoretical computer science as abstract models of computation. Also the $\lambda$-calculus has played a central role in this domain as it allows to focus on the notion of functional
Externí odkaz:
http://arxiv.org/abs/2107.00319
Publikováno v:
Logical Methods in Computer Science, Vol Volume 18, Issue 3 (2022)
Turing machines and register machines have been used for decades in theoretical computer science as abstract models of computation. Also the $\lambda$-calculus has played a central role in this domain as it allows to focus on the notion of functional
Externí odkaz:
https://doaj.org/article/7affde186eb845a38a1feba657a30253
Autor:
Salibra, Antonino *
Publikováno v:
In Theoretical Computer Science 2000 249(1):197-240
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.
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.
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.
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.
Autor:
Chantal Berline
Publikováno v:
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2006, 16, pp.185-221. ⟨10.1017/S0960129506005123⟩
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2006, 16, pp.185-221. ⟨10.1017/S0960129506005123⟩
This paper surveys what we have learned during the last ten years about the lattice $\lambda \mathcal{T}$ of all $\lambda$-theories (= equational extensions of untyped $\lambda$-calculus), via the sets $\lambda \mathcal{C}$ consisting of the $\lambda
Autor:
BERLINE, CHANTAL
Publikováno v:
Mathematical Structures in Computer Science; April 2006, Vol. 16 Issue: 2 p185-221, 37p