The following pages link to Markus Michelbrink (Q2503335):
Displayed 7 items.
- (Q936090) (redirect page) (← links)
- A quantitative dynamical systems approach to differential learning: self-organization principle and order parameter equations (Q936093) (← links)
- Interfaces as functors, programs as coalgebras -- a final coalgebra theorem in intensional type theory (Q2503336) (← links)
- (Q2849882) (← links)
- (Q3025175) (← links)
- A Buchholz derivation system for the ordinal analysis of <b>KP</b> + Π<sub>3</sub>-reflection (Q3416113) (← links)
- Types for Proofs and Programs (Q5897609) (← links)