René Vestergaard

Available identifiers

zbMath Open vestergaard.reneMaRDI QIDQ1045891

List of research outcomes

Publication	Date of Publication	Type
Formalizing adequacy: a case study for higher-order abstract syntax	2013-08-01	Paper
The mechanisation of Barendregt-style equational proofs (the residual perspective)	2013-07-24	Paper
The simple type theory of normalisation by evaluation	2013-07-24	Paper
A constructive approach to sequential Nash equilibria	2009-12-18	Paper
Proof Pearl: De Bruijn Terms Really Do Work	2008-09-02	Paper
Cascaded Games	2007-11-29	Paper
A formalised first-order confluence proof for the \(\lambda\)-calculus using one-sorted variable names.	2003-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q2778886	2002-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q4518890	2001-05-20	Paper
Cut rules and explicit substitutions	2001-05-07	Paper

Research outcomes over time

This page was built for person: René Vestergaard