Zobrazeno 1 - 10
of 208
pro vyhledávání: '"Gilbert, Frédéric"'
Autor:
Assaf, Ali, Burel, Guillaume, Cauderlier, Raphaël, Delahaye, David, Dowek, Gilles, Dubois, Catherine, Gilbert, Frédéric, Halmagrand, Pierre, Hermant, Olivier, Saillard, Ronan
Dedukti is a Logical Framework based on the $\lambda$$\Pi$-Calculus Modulo Theory. We show that many theories can be expressed in Dedukti: constructive and classical predicate logic, Simple type theory, programming languages, Pure type systems, the C
Externí odkaz:
http://arxiv.org/abs/2311.07185
Publikováno v:
In Brain Stimulation September-October 2023 16(5):1425-1429
Publikováno v:
In Brain Stimulation May-June 2023 16(3):783-789
Publikováno v:
In Stem Cell Reports 10 May 2022 17(5):1023-1032
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:
Stevens, Ian, Gilbert, Frederic
Publikováno v:
Ethics & Human Research, 2020 Mar 01. 42(2), 28-33.
Externí odkaz:
https://www.jstor.org/stable/26991468
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.