Search Results - "agda"

Towards safe and efficient functional reactive programming by Sculthorpe, Neil

Subjects: Get full text

Bootstrapping extensionality by Sestini, Filippo

Subjects: Get full text

Type theory in type theory using quotient inductive types by Altenkirch, Thorsten, Kaposi, Ambrus

Subjects: Get full text

Normalisation by evaluation for dependent types by Altenkirch, Thorsten, Kaposi, Ambrus

Subjects: Get full text

Normalisation by evaluation for type theory, in type theory by Altenkirch, Thorsten, Kaposi, Ambrus

Subjects: “…normalisation by evaluation; dependent types; internal type theory; logical relations; Agda…”
Get full text

Types with extra structure: predicates, equations, composition by Hewer, Brandon

Subjects: Get full text

A framework for relating, implementing and verifying argumentation models and their translations by van Gijzel, Bas

Subjects: Get full text