The following pages link to René Vestergaard (Q1045891):
Displaying 10 items.
- A constructive approach to sequential Nash equilibria (Q1045892) (← links)
- A formalised first-order confluence proof for the \(\lambda\)-calculus using one-sorted variable names. (Q1401936) (← links)
- Formalizing adequacy: a case study for higher-order abstract syntax (Q2392483) (← links)
- Cut rules and explicit substitutions (Q2713355) (← links)
- (Q2778886) (← links)
- The Simple Type Theory of Normalisation by Evaluation (Q2841227) (← links)
- The Mechanisation of Barendregt-Style Equational Proofs (the Residual Perspective) (Q2841232) (← links)
- Proof Pearl: De Bruijn Terms Really Do Work (Q3523176) (← links)
- (Q4518890) (← links)
- Cascaded Games (Q5429364) (← links)
