Formalizing Adequacy: A Case Study for Higher-order Abstract Syntax von Cheney, James, Norrish, Michael, Vestergaard, René

Volltext

A constructive approach to sequential Nash equilibria von Vestergaard, René

Volltext

Rewriting Game Theory as a Foundation for State-Based Models of Gene Regulation von Chettaoui, Chafika, Delaplace, Franck, Lescanne, Pierre, Vestergaard, Mun’delanji, Vestergaard, René

Volltext

Proof Pearl: De Bruijn Terms Really Do Work von Norrish, Michael, Vestergaard, René

Volltext

Cut rules and explicit substitutions von VESTERGAARD, RENÉ, WELLS, JOE

Volltext

Cascaded Games von Senachak, Jittisak, Vestergaard, Mun’delanji, Vestergaard, René

Volltext

Proofs of life: molecular-biology reasoning simulates cell behaviors from first principles von Vestergaard, René, Pietriga, Emmanuel

Volltext bestellen

A formalised first-order confluence proof for the λ-calculus using one-sorted variable names von Vestergaard, René, Brotherston, James

Volltext

Proofs of life: molecular-biology reasoning simulates cell behaviors from first principles von Vestergaard, René, Pietriga, Emmanuel

Volltext

Semantics-based compiling: A case study in type-directed partial evaluation von Danvy, Olivier, Vestergaard, René

Volltext

A formalised first-order confluence proof for the λ-calculus using one-sorted Variable names: (Barendregt was right after all ... almost) von VESTERGAARD, René, BROTHERSTON, James

Volltext

Equational Reasoning for Linking with First-Class Primitive Modules von Wells, J. B., Vestergaard, René

Volltext

The Simple Type Theory of Normalisation by Evaluation von Vestergaard, René

Volltext

Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation von Danvy, Olivier, Vestergaard, René

Volltext

The Mechanisation of Barendregt-Style Equational Proofs (the Residual Perspective) von Vestergaard, René, Brotherston, James

Volltext

Conversion/Preference Games von Roux, Stéphane Le, Lescanne, Pierre, Vestergaard, René

Volltext bestellen

Conversion/Preference Games von Stéphane Le Roux, Lescanne, Pierre, Vestergaard, René

Volltext

A Formalised First-Order Con uence Proof for the λ-Calculus Using One-Sorted Variable Names (Barendregt Was Right after all ... almost) von Vestergaard, René, Brotherston, James

Volltext

Effect of early cryoballoon ablation on atrial fibrillation recurrence—A Danish nationwide register study von Hein, Regitze, Riis‐Vestergaard, Lise Da, Tønnesen, Jacob, Zörner, Christopher Ryan, Rasmussen, Peter Vibe, Ruwald, Martin Huth, Johannessen, Arne, Worck, René Husted, Hansen, Jim, Middelfart, Charlotte, Gislason, Gunnar Hilmar, Hansen, Morten Lock

Volltext

Therapeutic Drug Monitoring of Isavuconazole: Serum Concentration Variability and Success Rates for Reaching Target in Comparison with Voriconazole von Risum, Malene, Vestergaard, Mai-Britt, Weinreich, Ulla Møller, Helleberg, Marie, Vissing, Nadja Hawwa, Jørgensen, René

Volltext