Nora Szasz

MaRDI QIDQ220715zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Formalization of metatheory of the Lambda Calculus in constructive type theory using the Barendregt variable convention Mathematical Structures in Computer Science	2022-01-20	Paper
Strong normalization for the simply-typed lambda calculus in constructive type theory using Agda	2021-02-22	Paper
Machine-checked proof of the Church-Rosser theorem for the lambda calculus using the Barendregt variable convention in constructive type theory	2019-11-12	Paper
Alpha-structural induction and recursion for the lambda calculus in constructive type theory	2018-04-23	Paper
Dependent types for nominal terms with atom substitutions	2017-07-12	Paper
Formal metatheory of the lambda calculus using Stoughton's substitution Theoretical Computer Science	2017-06-15	Paper
Formalisation in constructive type theory of Stoughton's substitution for the lambda calculus	2016-08-01	Paper
Model-driven engineering in the heterogeneous tool set Lecture Notes in Computer Science	2016-04-01	Paper
Institution-based semantics for MOF and QVT-relations Lecture Notes in Computer Science	2014-07-08	Paper
A type-theoretic framework for certified model transformations Lecture Notes in Computer Science	2011-05-12	Paper
scientific article; zbMATH DE number 1696610 (Why is no real title available?)	2002-07-22	Paper
Studies of a theory of specifications with built-in program extraction Journal of Automated Reasoning	2002-01-07	Paper

Research outcomes over time

This page was built for person: Nora Szasz