scientific article; zbMATH DE number 699435
From MaRDI portal
Publication:4315015
zbMath0811.03010MaRDI QIDQ4315015
Valentijn Anton Johan Borghuis
Publication date: 4 December 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65) Knowledge representation (68T30) Combinatory logic and lambda calculus (03B40)
Related Items (8)
Intuitionistic hypothetical logic of proofs ⋮ 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 ⋮ Fibrational modal type theory ⋮ Group knowledge is not always distributed (neither is it always implicit) ⋮ Modal dependent type theory and dependent right adjoints
This page was built for publication:
