Logical Frameworks
Latest Publications

TOTAL DOCUMENTS

16
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Cambridge University Press

9780521413008, 9780511569807
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Nederpelt's calculus extended with a notion of context as a logical framework

1991 ◽  
pp. 69-86 ◽  
Author(s):  
Philippe de Groote
Keyword(s):  
Logical Framework

scholarly journals Encoding dependent types in an intuitionistic logic

1991 ◽  
pp. 215-252 ◽  
Author(s):  
Amy Felty
Keyword(s):  
Intuitionistic Logic ◽  
Dependent Types

The Boyer-Moore prover and Nuprl: an experimental comparison

1991 ◽  
pp. 89-119 ◽  
Author(s):  
David Basin ◽  
Matt Kaufmann
Keyword(s):  
Experimental Comparison

Logic programming in the LF logical framework

1991 ◽  
pp. 149-182 ◽  
Author(s):  
Frank Pfenning
Keyword(s):  
Logic Programming ◽  
Logical Framework

Two frameworks of theories and their implementation in Isabelle

1991 ◽  
pp. 3-39 ◽  
Author(s):  
Peter Aczel ◽  
David P. Carlisle ◽  
Nax Mendler

Models of partial inductive definitions

1991 ◽  
pp. 365-384
Author(s):  
Lars Hallnäs
Keyword(s):  
Inductive Definitions ◽  
Partial Inductive Definitions

Proof-search in the λΠ-calculus

1991 ◽  
pp. 309-340 ◽  
Author(s):  
David Pym ◽  
Lincoln Wallen
Keyword(s):  
Proof Search

Inductive sets and families in Martin-Löf's type theory and their set-theoretic semantics

1991 ◽  
pp. 280-306 ◽  
Author(s):  
Peter Dybjer
Keyword(s):  
Type Theory

Structural frameworks, substructural logics, and the role of elimination inferences

1991 ◽  
pp. 385-403 ◽  
Author(s):  
Peter Schroeder-Heister
Keyword(s):  
Substructural Logics

Introduction

1991 ◽  
pp. ix-xii ◽  
Load More ...
Sign in / Sign up

Export Citation Format

Share Document