( en | de | ru )

 

Disambiguation of "Støvring, Kristian"

Author of the publication

copydeleteadd this publication to your clipboard
Solutions of Generalized Recursive Metric-Space Equations.

, , and . FICS, page 18-24. Institute of Cybernetics, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Kristian Sell

Kristian Weißenberg

Kristian Stork

Kristian Folta

Kristian Dittmann

 

Other publications of authors with the same name

A Metric Model of Lambda Calculus with Guarded Recursion., , and . FICS, page 19-25. Laboratoire d'Informatique Fondamentale de Marseille, (2010)Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative.. Logical Methods in Computer Science, (2006)A complete, co-inductive syntactic theory of sequential control and state., and . POPL, page 161-172. ACM, (2007)Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types., , and . FoSSaCS, volume 5504 of Lecture Notes in Computer Science, page 456-470. Springer, (2009)First steps in synthetic guarded domain theory: step-indexing in the topos of trees, , , and . Logical Methods in Computer Science, (2012)Higher-Order Beta Matching with Solutions in Long Beta-Eta Normal Form.. Nord. J. Comput., 13 (1-2): 117-126 (2006)Step-Indexed Kripke Model of Separation Logic for Storable Locks., , and . MFPS, volume 276 of Electronic Notes in Theoretical Computer Science, page 121-143. Elsevier, (2011)A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces., , and . FoSSaCS, volume 6604 of Lecture Notes in Computer Science, page 305-319. Springer, (2011)A relational realizability model for higher-order stateful ADTs., , and . J. Log. Algebraic Methods Program., 81 (4): 491-521 (2012)Inductive reasoning about effectful data types., and . ICFP, page 97-110. ACM, (2007)