nopeAug 29, 2022
The Gallina Specification Language: a Case Study
(1992) : G{\'e}rard Huet
DOI: https://doi.org/10.1007/3-540-56287-7_108
#coq #gallina #predicate_logic #programming_language_design #prolog #proof_assistant #specification
#my_bibtex
nopeJun 27, 2022
Systems of Logic for Necessity (Sequent Calculi and Proof Theory)
(2003) : Izumi Takeuti
url: https://repository.kulib.kyoto-u.ac.jp/dspace/handle/2433/42732
#cut_elimination #gentzen #modal_logic #possible_worlds #predicate_logic #proof_theory #sequ
#my_bibtex
Kyoto University Research Information Repository: Systems of logic for necessity (Sequent Calculi and Proof Theory)