Nominal 2

MaRDI QIDQ7361006FDO

Authors Christian Urban, Stefan Berghofer, Cezary Kaliszyk

Publication date 21 February 2013

Cited in

(8)

• Gödel's Incompleteness Theorems
• MiniSail - A kernel language for the ISA specification language SAIL
• Formalization of Generic Authenticated Data Structures
• Robinson Arithmetic
• From Abstract to Concrete Gödel's Incompleteness Theorems—Part II
• The Z Property
• The Correctness of Launchbury's Natural Semantics for Lazy Evaluation
• Modal Logics for Nominal Transition Systems

This page was built for software: Nominal 2