Hans Bugge Grathwohl

From MaRDI portal
Person:2319983

Available identifiers

zbMath Open grathwohl.hans-buggeMaRDI QIDQ2319983

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q51446432021-01-19Paper
Guarded cubical type theory2019-08-21Paper
Guarded Cubical Type Theory: Path Equality for Guarded Recursion2017-07-19Paper
The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types2017-04-11Paper
Guarded Dependent Type Theory with Coinductive Types2016-06-10Paper
Programming and Reasoning with Guarded Recursion for Coinductive Types2015-10-01Paper

Research outcomes over time

This page was built for person: Hans Bugge Grathwohl

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