Erik Barendsen

From MaRDI portal
Person:1610673

Available identifiers

zbMath Open barendsen.erikMaRDI QIDQ1610673

List of research outcomes





PublicationDate of PublicationType
Extending graph rewriting with copying2022-08-16Paper
Guaranteeing safe destructive updates through a type system with uniqueness information for graphs2022-08-16Paper
Autarkic computations in formal proofs2002-08-20Paper
Some logical and syntactical observations concerning the first-order dependent type system λP2000-06-29Paper
Theoretical Pearls2000-02-09Paper
https://portal.mardi4nfdi.de/entity/Q42227801998-12-13Paper
Polymorphic extensions of simple type structures. With an application to a bar recursive minimization1997-05-28Paper
https://portal.mardi4nfdi.de/entity/Q52845481997-05-22Paper

Research outcomes over time

This page was built for person: Erik Barendsen

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