Rainer Kerth

From MaRDI portal
Person:236443

Available identifiers

zbMath Open kerth.rainerMaRDI QIDQ236443

List of research outcomes





PublicationDate of PublicationType
Forcing in stable models of untyped \(\lambda\)-calculus2002-09-22Paper
On the construction of stable models of untyped \(\lambda\)-calculus2002-03-03Paper
Isomorphism and equational equivalence of continuous \(\lambda\)-models2001-07-16Paper
The interpretation of unsolvable λ-terms in models of untyped λ-calculus2000-02-15Paper
https://portal.mardi4nfdi.de/entity/Q42974371994-11-07Paper
https://portal.mardi4nfdi.de/entity/Q42974171994-11-03Paper

Research outcomes over time

This page was built for person: Rainer Kerth

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:236443&oldid=6262240"
Powered by MediaWiki