The following pages link to Nora Szasz (Q220715):
Displaying 12 items.
- Formalisation in constructive type theory of Stoughton's substitution for the lambda calculus (Q530864) (← links)
- Alpha-structural induction and recursion for the lambda calculus in constructive type theory (Q1744410) (← links)
- Strong normalization for the simply-typed lambda calculus in constructive type theory using Agda (Q2229159) (← links)
- Machine-checked proof of the Church-Rosser theorem for the lambda calculus using the Barendregt variable convention in constructive type theory (Q2333314) (← links)
- Formal metatheory of the lambda calculus using Stoughton's substitution (Q2358702) (← links)
- (Q2766801) (← links)
- Model-Driven Engineering in the Heterogeneous Tool Set (Q2797864) (← links)
- A Type-Theoretic Framework for Certified Model Transformations (Q2999313) (← links)
- Formalization of metatheory of the Lambda Calculus in constructive type theory using the Barendregt variable convention (Q5022932) (← links)
- Institution-Based Semantics for MOF and QVT-Relations (Q5166659) (← links)
- Dependent Types for Nominal Terms with Atom Substitutions (Q5277839) (← links)
- Studies of a theory of specifications with built-in program extraction (Q5951523) (← links)
