Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Haskell (Lenguaje de programación de computadores)"'
Publikováno v:
Repositorio EAFIT
Universidad EAFIT
instacron:Universidad EAFIT
Universidad EAFIT
instacron:Universidad EAFIT
We describe a syntactical proof-reconstruction approach to verify derivations generated by Metis prover to theorems in classical propositional logic -- To verify such derivations, we formalize in type theory each inference rule of the Metis reasoning
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::17b8bba8391e4176a5e860920efcc224
http://hdl.handle.net/10784/12484
http://hdl.handle.net/10784/12484
Autor:
Villa Isaza, Juan Pedro
We study some of the applications of category theory to functional programming, particularly in the context of the Haskell functional programming language, and the Agda dependently typed functional programming language and proof assistant -- More spe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2653::c41521de475005ce54f724295731b569
http://hdl.handle.net/10784/7251
http://hdl.handle.net/10784/7251