Markus Michelbrink

Available identifiers

zbMath Open michelbrink.markusMaRDI QIDQ2503335

List of research outcomes

Publication	Date of Publication	Type
State dependent IO-monads in type theory	2013-09-20	Paper
A quantitative dynamical systems approach to differential learning: self-organization principle and order parameter equations	2008-08-12	Paper
A Buchholz derivation system for the ordinal analysis of KP + Π3-reflection	2007-01-19	Paper
Types for Proofs and Programs	2006-11-13	Paper
Interfaces as functors, programs as coalgebras -- a final coalgebra theorem in intensional type theory	2006-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q3025175	2005-07-12	Paper

Research outcomes over time

This page was built for person: Markus Michelbrink