scientific article; zbMATH DE number 699435

MaRDI QIDQ4315015zbMATH OpenFDO

Authors Valentijn Anton Johan Borghuis

Publication date 4 December 1994

zbMATH Keywords

belieflogic cubemodal logicpropositions-as-typestyped lambda calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65) Formal languages and automata (68Q45) Knowledge representation (68T30)

Recommendations

• Modal pure type systems. Type theory for knowledge representation
• scientific article; zbMATH DE number 757638
• scientific article; zbMATH DE number 1438807

Cited in

(12)

• Modal pure type systems. Type theory for knowledge representation
• Fibrational modal type theory
• Group knowledge is not always distributed (neither is it always implicit)
• Intuitionistic hypothetical logic of proofs
• scientific article; zbMATH DE number 757638 (Why is no real title available?)
• Modal dependent type theory and dependent right adjoints
• Normalization by evaluation for modal dependent type theory
• When programs have to watch paint dry
• Communicating contexts: A pragmatic approach to information exchange
• Modal FRP for all: Functional reactive programming without space leaks in Haskell
• Contextual modal type theory with polymorphic contexts
• A categorical normalization proof for the modal lambda-calculus

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 Q4315015)