René Vestergaard

According to our database, René Vestergaard authored at least 14 papers between 1996 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Proofs of life: molecular-biology reasoning simulates cell behaviors from first principles.

René Vestergaard, Emmanuel Pietriga

CoRR, 2018

2012

Formalizing Adequacy: A Case Study for Higher-order Abstract Syntax.

James Cheney, Michael Norrish, René Vestergaard

J. Autom. Reason., 2012

2008

Conversion/Preference Games

Stéphane Le Roux, Pierre Lescanne, René Vestergaard

CoRR, 2008

2007

Proof Pearl: De Bruijn Terms Really Do Work.

Michael Norrish, René Vestergaard

Proceedings of the Theorem Proving in Higher Order Logics, 20th International Conference, 2007

Cascaded Games.

Jittisak Senachak, Mun'delanji Vestergaard, René Vestergaard

Proceedings of the Algebraic Biology, Second International Conference, 2007

2006

A constructive approach to sequential Nash equilibria.

René Vestergaard

Inf. Process. Lett., 2006

Rewriting Game Theory as a Foundation for State-Based Models of Gene Regulation.

Chafika Chettaoui, Franck Delaplace, Pierre Lescanne, Mun'delanji Vestergaard, René Vestergaard

Proceedings of the Computational Methods in Systems Biology, International Conference, 2006

2003

A formalised first-order confluence proof for the -calculus using one-sorted variable names.

René Vestergaard, James Brotherston

Inf. Comput., 2003

2001

The Mechanisation of Barendregt-Style Equational Proofs (the Residual Perspective).

René Vestergaard, James Brotherston

Proceedings of the Mechanized Reasoning about Languages with Variable Binding, 2001

The Simple Type Theory of Normalization by Evaluation.

René Vestergaard

Proceedings of the 1st International Workshop on Reduction Strategies in Rewriting and Programming, 2001

Cut rules and explicit substitutions.

René Vestergaard, J. B. Wells

Math. Struct. Comput. Sci., 2001

A Formalised First-Order Confluence Proof for the lambda-Calculus Using One-Sorted Variable Names.

René Vestergaard, James Brotherston

Proceedings of the Rewriting Techniques and Applications, 12th International Conference, 2001

2000

Equational Reasoning for Linking with First-Class Primitive Modules.

J. B. Wells, René Vestergaard

Proceedings of the Programming Languages and Systems, 2000

1996

Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation.

Olivier Danvy, René Vestergaard

Proceedings of the Programming Languages: Implementations, 1996