E-LIB Suche - Ergebnisse für: Sørensen, Morten Heine

1

Raymond Smullyan, A Beginner's Further Guide to Mathematica..:

Sørensen, Morten Heine
Studia Logica. 107 (2019) 5 - p. 1079-1081 , 2019

Link: https://doi.org/10.1007/..

2

Use case-driven performance engineering without "concurrent..:

, In: Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering,

Sørensen, Morten Heine - p. 3-12 , 2013

Link: https://dl.acm.org/doi/1..

3

Book Reviews:

Sørensen, Morten Heine
Studia Logica. 101 (2013) 5 - p. 1143-1145 , 2013

Link: https://doi.org/10.1007/..

4

Strong Cut-Elimination in Sequent Calculus Using Klop's l-T..:

Sørensen, Morten Heine ; Urzyczyn, Paweł
The Journal of Symbolic Logic. 73 (2008) 3 - p. 919-932 , 2008

Link: https://www.jstor.org/st..

5

Lectures on the Curry-Howard isomorphism

Studies in logic and the foundations of mathematics ; v. 149

Sørensen, Morten Heine ; Urzyczyn, Paweł - 1st ed . , 2006

Link: https://www.sciencedirec..

6

Lectures on the Curry-Howard isomorphism

Studies in logic and the foundations of mathematics, v. 149

Sørensen, Morten Heine ; Urzyczyn, Paweł - 1st ed. . , 2006

Link: https://search.ebscohost..

7

Conservation and Uniform Normalization in Lambda Calculi wi..:

Neergaard, Peter Møller ; Sørensen, Morten Heine
Information and Computation. 178 (2002) 1 - p. 149-179 , 2002

Link: https://doi.org/10.1006/..

8

From checking to inference via driving and dag grammars:

Secher, Jens Peter ; Sørensen, Morten Heine
ACM SIGPLAN Notices. 37 (2002) 3 - p. 41-51 , 2002

Link: https://doi.org/10.1145/..

9

From checking to inference via driving and dag grammars:

, In: Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation,

Secher, Jens Peter ; Sørensen, Morten Heine - p. 41-51 , 2002

Link: https://dl.acm.org/doi/1..

10

Weak normalization implies strong normalization in a class ..:

Barthe, Gilles ; Hatcliff, John ; Sørensen, Morten Heine
Theoretical Computer Science. 269 (2001) 1-2 - p. 317-361 , 2001

Link: https://doi.org/10.1016/..

11

Conjunctive partial deduction: foundations, control, algori..:

De Schreye, Danny ; Glück, Robert ; Jørgensen, Jesper...
The Journal of Logic Programming. 41 (1999) 2-3 - p. 231-277 , 1999

Link: https://doi.org/10.1016/..

12

AnnoDomini : from type theory to Year 2000 conversion to..:

, In: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Eidorff, Peter Harry ; Henglein, Fritz ; Mossin, Christian... - p. 1-14 , 1999

Link: https://dl.acm.org/doi/1..

13

Strong Normalization from Weak Normalization in Typedλ-Calc..:

Sørensen, Morten Heine
Information and Computation. 133 (1997) 1 - p. 35-71 , 1997

Link: https://doi.org/10.1006/..

14

An induction principle for pure type systems:

Barthe, Gilles ; Hatcliff, John ; Sørensen, Morten Heine B.
Theoretical Computer Science. 266 (2001) 1-2 - p. 773-818 , 2001

Link: https://doi.org/10.1016/..

15

Convergence of program transformers in the metric space of ..:

Sørensen, Morten Heine B.
Science of Computer Programming. 37 (2000) 1-3 - p. 163-205 , 2000

Link: https://doi.org/10.1016/..