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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Norman Danner