Nominal2 Dependents

2021

MiniSail - A kernel language for the ISA specification language SAIL

by Mark Wassell

Jun 18

2020

Robinson Arithmetic

by Andrei Popescu and Dmitriy Traytel

Sep 16

From Abstract to Concrete Gödel's Incompleteness Theorems—Part II

by Andrei Popescu and Dmitriy Traytel

Sep 16

2019

Formalization of Generic Authenticated Data Structures

by Matthias Brun and Dmitriy Traytel

May 14

2016

Modal Logics for Nominal Transition Systems

by Tjark Weber, Lars-Henrik Eriksson, Joachim Parrow, Johannes Borgström and Ramunas Gutkovas

Oct 25

The Z Property

by Bertram Felgenhauer, Julian Nagele, Vincent van Oostrom and Christian Sternagel

Jun 30

2013

Gödel's Incompleteness Theorems

by Lawrence C. Paulson

Nov 17

The Correctness of Launchbury's Natural Semantics for Lazy Evaluation

by Joachim Breitner

Jan 31