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

Logical Frameworks ◽

10.1017/cbo9780511569807.005 ◽

1991 ◽

pp. 69-86 ◽

Author(s):

Philippe de Groote

Keyword(s):

Logical Framework

Download Full-text

Encoding dependent types in an intuitionistic logic

Logical Frameworks ◽

10.1017/cbo9780511569807.010 ◽

1991 ◽

pp. 215-252 ◽

Author(s):

Amy Felty

Keyword(s):

Intuitionistic Logic ◽

Dependent Types

Download Full-text

The Boyer-Moore prover and Nuprl: an experimental comparison

Logical Frameworks ◽

10.1017/cbo9780511569807.006 ◽

1991 ◽

pp. 89-119 ◽

Author(s):

David Basin ◽

Matt Kaufmann

Keyword(s):

Experimental Comparison

Download Full-text

Logic programming in the LF logical framework

Logical Frameworks ◽

10.1017/cbo9780511569807.008 ◽

1991 ◽

pp. 149-182 ◽

Author(s):

Frank Pfenning

Keyword(s):

Logic Programming ◽

Logical Framework

Download Full-text

Two frameworks of theories and their implementation in Isabelle

Logical Frameworks ◽

10.1017/cbo9780511569807.003 ◽

1991 ◽

pp. 3-39 ◽

Author(s):

Peter Aczel ◽

David P. Carlisle ◽

Nax Mendler

Download Full-text

Models of partial inductive definitions

Logical Frameworks ◽

10.1017/cbo9780511569807.015 ◽

1991 ◽

pp. 365-384

Author(s):

Lars Hallnäs

Keyword(s):

Inductive Definitions ◽

Partial Inductive Definitions

Download Full-text

Proof-search in the λΠ-calculus

Logical Frameworks ◽

10.1017/cbo9780511569807.013 ◽

1991 ◽

pp. 309-340 ◽

Author(s):

David Pym ◽

Lincoln Wallen

Keyword(s):

Download Full-text

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

Logical Frameworks ◽

10.1017/cbo9780511569807.016 ◽

1991 ◽

pp. 385-403 ◽

Author(s):

Peter Schroeder-Heister

Keyword(s):

Substructural Logics

Download Full-text

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

Logical Frameworks ◽

10.1017/cbo9780511569807.012 ◽

1991 ◽

pp. 280-306 ◽

Author(s):

Peter Dybjer

Keyword(s):

Download Full-text

A plea for weaker frameworks

Logical Frameworks ◽

10.1017/cbo9780511569807.004 ◽

1991 ◽

pp. 40-68 ◽

Author(s):

N.G. de Bruijn

Download Full-text