scientific article; zbMATH DE number 4180831

zbMATH Open0716.68078MaRDI QIDQ3204067FDOQ3204067

Authors: Robert Harper, Donald Sannella, Andrzej Tarlecki 

Publication date: 1989

Title of this publication is not available (Why is that?)

Recommendations

• Logic representation in LF
• Structured theory presentations and logic representations
• An open logical framework
• scientific article; zbMATH DE number 65531
• Towards logical frameworks in the heterogeneous tool set Hets

zbMATH Keywords

logical frameworktype theoriestyped \(\lambda \) -calculus

Mathematics Subject Classification ID

Artificial intelligence (68T99) Logic programming (68N17) Logic in artificial intelligence (68T27) Combinatory logic and lambda calculus (03B40)

Cited In (18)

• Title not available (Why is that?)
• Proof systems for structured algebraic specifications: An overview
• The Twelf Proof Assistant
• A proof theoretic interpretation of model theoretic hiding
• Towards logical frameworks in the heterogeneous tool set Hets
• Title not available (Why is that?)
• Types for Proofs and Programs
• Equivalences between logics and their representing type theories
• Proof systems for structured specifications with observability operators
• An axiomatic approach to structuring specifications
• Logical frameworks. Why not just classical logic?
• Title not available (Why is that?)
• Toward formal development of programs from algebraic specifications: model-theoretic foundations
• Grothendieck inclusion systems
• Explicit contexts in LF (extended abstract)
• Structured theory presentations and logic representations
• Title not available (Why is that?)
• Logic representation in LF

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3204067)