Computer Science Logic
From MaRDI portal
Publication:5311260
DOI10.1007/B100120zbMath1095.03019OpenAlexW2481899496MaRDI QIDQ5311260
Publication date: 22 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b100120
Logic in computer science (03B70) Categorical logic, topoi (03G30) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (7)
A coalgebraic approach to the semantics of the ambient calculus ⋮ Validating Brouwer's continuity principle for numbers using named exceptions ⋮ Free-algebra models for the \(\pi \)-calculus ⋮ A dependent type theory with abstractable names ⋮ Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms ⋮ A Simple Nominal Type Theory ⋮ Nominal Equational Logic
This page was built for publication: Computer Science Logic
