Morten Heine B. Sørensen

Available identifiers

zbMath Open sorensen.morten-heine-bMaRDI QIDQ1125573

List of research outcomes

Publication	Date of Publication	Type
Effective longest and infinite reduction paths in untyped λ-calculi	2023-02-23	Paper
Book review of: R. Smullyan, A beginner's further guide to mathematical logic	2019-11-29	Paper
Book review of: Katalin Bimbó, Combinatory logic. Pure, applied and typed	2013-12-05	Paper
A simulation-based approach to stochastic dynamic programming	2013-12-03	Paper
A syntactic embedding of predicate logic into second-order propositional logic	2010-12-01	Paper
Strong cut-elimination in sequent calculus using Klop's ι-translation and perpetual reductions	2009-03-23	Paper
A Note on Shortest Developments	2008-04-01	Paper
Lectures on the Curry-Howard isomorphism	2007-05-30	Paper
Strong normalization from weak normalization by translation into the lambda-I-calculus	2004-03-15	Paper
https://portal.mardi4nfdi.de/entity/Q4414742	2003-07-27	Paper
Conservation and uniform normalization in lambda calculi with erasing reductions	2003-01-14	Paper
Weak normalization implies strong normalization in a class of non-dependent pure type systems	2002-03-03	Paper
An induction principle for pure type systems	2002-03-03	Paper
Domain-free pure type systems	2002-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q2729913	2001-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q4511325	2000-10-30	Paper
Conjunctive partial deduction: foundations, control, algorithms, and experiments	2000-09-26	Paper
Convergence of program transformers in the metric space of trees	2000-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q4490747	2000-07-20	Paper
https://portal.mardi4nfdi.de/entity/Q4954460	2000-06-07	Paper
CPS translations and applications: The cube and beyond	2000-01-30	Paper
Perpetual reductions in \(\lambda\)-calculus	1999-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q4376043	1998-05-17	Paper
Strong normalization from weak normalization in typed \(\lambda\)-calculi	1997-07-20	Paper
A positive supercompiler	1997-06-04	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: Morten Heine B. Sørensen