M. H. 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 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

This page was built for person: M. H. B. Sørensen