René Vestergaard - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 12 from 12

2012

Formalizing Adequacy: A Case Study for Higher-order Abstract SyntaxJames Cheney, Michael Norrish, René Vestergaard. JAR, 49(2):209-239, 2012. [doi]

2007

Proof Pearl: De Bruijn Terms Really Do WorkMichael Norrish, René Vestergaard. tphol 2007: 207-222 [doi]

Cascaded GamesJittisak Senachak, Mun delanji Vestergaard, René Vestergaard. ab 2007: 185-201 [doi]

2006

Rewriting Game Theory as a Foundation for State-Based Models of Gene RegulationChafika Chettaoui, Franck Delaplace, Pierre Lescanne, Mun delanji Vestergaard, René Vestergaard. cmsb 2006: 257-270 [doi]

A constructive approach to sequential Nash equilibriaRené Vestergaard. ipl, 97(2):46-51, 2006. [doi]

2003

A formalised first-order confluence proof for the -calculus using one-sorted variable namesRené Vestergaard, James Brotherston. iandc, 183(2):212-244, 2003. [doi]

2001

The Simple Type Theory of Normalization by EvaluationRené Vestergaard. TCS, 57:163-183, 2001. [doi]

The Mechanisation of Barendregt-Style Equational Proofs (the Residual Perspective)René Vestergaard, James Brotherston. TCS, 58(1):18-36, 2001. [doi]

A Formalised First-Order Confluence Proof for the lambda-Calculus Using One-Sorted Variable NamesRené Vestergaard, James Brotherston. RTA 2001: 306-321 [doi]

Cut rules and explicit substitutionsRené Vestergaard, J. B. Wells. mscs, 11(1):131-168, 2001.

2000

Equational Reasoning for Linking with First-Class Primitive ModulesJ. B. Wells, René Vestergaard. ESOP 2000: 412-428 [doi]

1996

Semantics-Based Compiling: A Case Study in Type-Directed Partial EvaluationOlivier Danvy, René Vestergaard. plilp 1996: 182-197

Sign in or sign up to see more results.

runs on WebDSL