René Vestergaard

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Formalizing adequacy: a case study for higher-order abstract syntax Journal of Automated Reasoning	2013-08-01	Paper
The mechanisation of Barendregt-style equational proofs (the residual perspective) Electronic Notes in Theoretical Computer Science	2013-07-24	Paper
The simple type theory of normalisation by evaluation Electronic Notes in Theoretical Computer Science	2013-07-24	Paper
A constructive approach to sequential Nash equilibria Information Processing Letters	2009-12-18	Paper
Proof Pearl: De Bruijn Terms Really Do Work Lecture Notes in Computer Science	2008-09-02	Paper
Cascaded Games Algebraic Biology	2007-11-29	Paper
A formalised first-order confluence proof for the \(\lambda\)-calculus using one-sorted variable names. Information and Computation	2003-08-19	Paper
scientific article; zbMATH DE number 1722714 (Why is no real title available?)	2002-03-21	Paper
scientific article; zbMATH DE number 1538035 (Why is no real title available?)	2001-05-20	Paper
Cut rules and explicit substitutions MSCS. Mathematical Structures in Computer Science	2001-05-07	Paper

Research outcomes over time

This page was built for person: René Vestergaard