Zobrazeno 1 - 8
of 8
pro vyhledávání: '"lambdacalculus"'
Autor:
Duarte Correia, Adriana
The fundamental question that this thesis tries to contribute to is thus: is it possible to code and compute the meaning of phrases, such as "fluffy dog", in a way that encodes not only logical reasoning, but provides a way to return our (possibly mu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______101::50c21aa6d88d457b334f5598c556ed01
https://dspace.library.uu.nl/handle/1874/422428
https://dspace.library.uu.nl/handle/1874/422428
The fundamental question that this thesis tries to contribute to is thus: is it possible to code and compute the meaning of phrases, such as "fluffy dog", in a way that encodes not only logical reasoning, but provides a way to return our (possibly mu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dris___00893::cbb326024a5b990942de23992d2cc32f
https://hdl.handle.net/1874/422428
https://hdl.handle.net/1874/422428
Publikováno v:
Journal of Logic, Language, and Information, 2004 Jan 01. 13(4), 421-438.
Externí odkaz:
https://www.jstor.org/stable/40180374
Publikováno v:
[Research Report] RR-2390, INRIA. 1994
λProlog is a logic programming language in which hereditary Harrop formulas generalise Horn formulas, and simply typed λ-terms generalise Prolog terms. One may wonder whether these extensions are simultaneously required, and if it exists useful sub
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::75437650bca724ede6294fb77ab1fe37
https://inria.hal.science/inria-00074285
https://inria.hal.science/inria-00074285
Autor:
Ridoux, Olivier
Publikováno v:
[Research Report] RR-2388, INRIA. 1994
We study under which conditions the domain of lambda-terms (Lambda) and the equality theory of the lambda-calculus (alphabeta) form the basis of a usable constraint logic programming language (CLP). The conditions are that the equality theory must co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c8dbc23f6ae0e6c37e04f847c5e5c0b6
https://hal.inria.fr/inria-00074287
https://hal.inria.fr/inria-00074287
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.
Kniha
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.
Conference
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.