Norman Danner

Available identifiers

zbMath Open danner.normanMaRDI QIDQ733752

List of research outcomes

Publication	Date of Publication	Type
Denotational semantics as a foundation for cost recurrence extraction for functional languages	2022-09-02	Paper
Adventures in time and space	2017-08-21	Paper
Denotational cost semantics for functional languages with inductive types	2017-05-10	Paper
Two algorithms in search of a type-system	2009-10-19	Paper
Time-Complexity Semantics for Feasible Affine Recursions	2007-11-13	Paper
Adventures in time and space	2007-10-11	Paper
Circuit principles and weak pigeonhole variants	2007-09-19	Paper
The weak pigeonhole principle for function classes inS12	2007-02-02	Paper
Minimization and \(\mathbf{NP}\) multifunctions	2004-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q3149662	2002-09-30	Paper
Stratified polymorphism and primitive recursion	2000-05-04	Paper
Ordinals and ordinal functions representable in the simply typed lambda calculus	2000-03-13	Paper
On the Foundations of Corecursion	1997-06-02	Paper
Towards a model theory of diagrams	1996-11-12	Paper
Transfinite iteration functionals and ordinal arithmetic	N/A	Paper

Research outcomes over time

This page was built for person: Norman Danner