Co-authors (5)

Conferences (2)

Keywords (17)

Embed

Subscribe

Academic

Kristian Stovring

Kristian Stovring,Algorithms & Theory

Kristian Stovring

Publications: 2 | Citations: 6

Fields: Algorithms & Theory

Collaborated with 5 co-authors from 2005 to 2011 | Cited by 8 authors

Cumulative Annual

Sort by:

Publications (2)

BibTeX | RIS | RefWorks Download

First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees

, , ,

Conference: Logic in Computer Science - LICS , pp. 55-64, 2011

Program extraction from proofs of weak head normalization (Citations: 6)

, ,

Conference: Mathematical Foundations of Programming Semantics , 2005

Sort by:

Citations (6 times by 6 publications)

Context-based proofs of termination for typed delimited-control operators (Citations: 1)

,

Conference: Principles and Practice of Declarative Programming - PPDP , pp. 289-300, 2009

Coq formalization of the higher-order recursive path ordering (Citations: 1)

Journal: Applicable Algebra in Engineering, Communication and Computing - AAECC , vol. 20, no. 5-6, pp. 379-425, 2009

Program Extraction from Normalization Proofs (Citations: 18)

, , ,

Journal: Studia Logica - An International Journal for Symbolic Logic - SLOGICA , vol. 82, no. 1, pp. 25-49, 2006

Program Extraction from Normalization Proofs (Citations: 62)

Conference: Typed Lambda Calculus and Applications - TLCA , pp. 91-106, 1993

Applications of Proof Interpretations (Citations: 1)

Comments