Person:2503335: Difference between revisions

Latest revision as of 03:46, 13 December 2023

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q2849882	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 + Π₃-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

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Markus Michelbrink

Revision as of 13:01, 24 September 2023 view source Import230924090903 (talk \| contribs) 970,846 edits Created automatically from import230924090903	Latest revision as of 03:46, 13 December 2023 view source AuthorDisambiguator (talk \| contribs) Bots, Administrators 1,238,488 edits m AuthorDisambiguator moved page Markus Michelbrink to Markus Michelbrink: Duplicate
(No difference)