DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Logical framework
Logical framework
Category Theory and Lambda Calculus
A Concurrent Logical Framework I: Judgments and Properties
A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4
Lecture 3: Typed Lambda Calculus and Curry-Howard
A Practical Module System for LF *
Arxiv:1910.10703V3 [Cs.LO] 30 Mar 2020 Stesfwr Htcek T O a Ebosrptuti O in Trust Bootstrap System We a Can Such How in It
Curry-Howard Isomorphism
Logic-Independent Proof Search in Logical Frameworks (Extended Report)
A Concurrent Logical Framework: the Propositional Fragment
Semantics of Mizar As an Isabelle Object Logic
Representing Model Theory in a Type-Theoretical Logical Framework Fulya Horozal, Florian Rabe ∗ Jacobs University Bremen, Germany Article Info a B S T R a C T
A Type Theory for Defining Logics and Proofs
A Framework for Defining Logical Frameworks Luigi Liquori, Furio Honsell, Marina Lenisa
Automated Theorem Proving in a Simple Meta Logic for LF
A Logical Relations for a Logical Framework
Twelf — a Meta-Logical Framework for Deductive Systems
Comparing Mathematical Provers
A Linear Logical Framework
Top View
Dedukti: a Logical Framework Based on the Λπ-Calculus Modulo Theory
A Framework for Defining Logics
A Modular Hierarchy of Logical Frameworks
Logical Frameworks
Llfp: a Logical Framework for Modeling External
Syntactic Categories for Dependent Type Theory: Sketching and Adequacy
History of Interactive Theorem Proving
A Survey on Theorem Provers in Formal Methods
Encoding a Dependent-Type Lambda-Calculus in a Logic Programming Language
A Concurrent Logical Framework II: Examples and Applications
Reflective Metalogical Frameworks
Logical Frameworks: a Brief Introduction