×
Edit Profile (opens in new tab)

Støvring, Kristian

Co-Author Distance
Author ID: stovring.kristian Recent zbMATH articles by "Støvring, Kristian"
Published as: Støvring, Kristian
External Links: MGP
Documents Indexed: 14 Publications since 2006
Co-Authors: 11 Co-Authors with 12 Joint Publications
224 Co-Co-Authors
all top 5

Co-Authors

2 single-authored
8 Birkedal, Lars
5 Thamsborg, Jacob
4 Schwinghammer, Jan
2 Lassen, Søren B.
2 Reus, Bernhard
2 Yang, Hongseok
1 Biernacka, Małgorzata
1 Danvy, Olivier
1 Filinski, Andrzej
1 Møgelberg, Rasmus Ejlers
1 Pottier, François

Serials

2 Mathematical Structures in Computer Science
2 Logical Methods in Computer Science
1 Theoretical Computer Science
1 Nordic Journal of Computing
1 The Journal of Logic and Algebraic Programming

Fields

12 Computer science (68-XX)
7 Mathematical logic and foundations (03-XX)
2 Category theory; homological algebra (18-XX)
1 General topology (54-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

13 Publications have been cited 131 times in 111 Documents Cited by ▼ Year ▼
First steps in synthetic guarded domain theory: step-indexing in the topos of trees. Zbl 1269.03035
Birkedal, Lars; Møgelberg, Rasmus Ejlers; Schwinghammer, Jan; Støvring, Kristian
45
2012
Step-indexed Kripke models over recursive worlds. Zbl 1284.68102
Birkedal, Lars; Reus, Bernhard; Schwinghammer, Jan; Støvring, Kristian; Thamsborg, Jacob; Yang, Hongseok
16
2011
Realizability semantics of parametric polymorphism, general references, and recursive types. Zbl 1234.68052
Birkedal, Lars; Støvring, Kristian; Thamsborg, Jacob
12
2009
The category-theoretic solution of recursive metric-space equations. Zbl 1205.68216
Birkedal, Lars; Støvring, Kristian; Thamsborg, Jacob
11
2010
A complete, co-inductive syntactic theory of sequential control and state. Zbl 1295.68093
Støvring, Kristian; Lassen, Soren B.
11
2007
Realisability semantics of parametric polymorphism, general references and recursive types. Zbl 1209.68122
Birkedal, Lars; Støvring, Kristian; Thamsborg, Jacob
10
2010
Extending the extensional lambda calculus with surjective pairing is conservative. Zbl 1126.03019
Støvring, Kristian
8
2006
Inductive reasoning about effectful data types. Zbl 1291.68143
Filinski, Andrzej; Støvring, Kristian
8
2007
A complete, co-inductive syntactic theory of sequential control and state. Zbl 1253.68083
Støvring, Kristian; Lassen, Soren B.
5
2009
Program extraction from proofs of weak head normalization. Zbl 1273.03098
Biernacka, Małgorzata; Danvy, Olivier; Støvring, Kristian
2
2006
A step-indexed Kripke model of hidden state via recursive properties on recursively defined metric spaces. Zbl 1326.68105
Schwinghammer, Jan; Birkedal, Lars; Støvring, Kristian
1
2011
Higher-order beta matching with solutions in long beta-eta normal form. Zbl 1122.03009
Støvring, Kristian
1
2006
A relational realizability model for higher-order stateful ADTs. Zbl 1279.68227
Birkedal, Lars; Støvring, Kristian; Thamsborg, Jacob
1
2012
First steps in synthetic guarded domain theory: step-indexing in the topos of trees. Zbl 1269.03035
Birkedal, Lars; Møgelberg, Rasmus Ejlers; Schwinghammer, Jan; Støvring, Kristian
45
2012
A relational realizability model for higher-order stateful ADTs. Zbl 1279.68227
Birkedal, Lars; Støvring, Kristian; Thamsborg, Jacob
1
2012
Step-indexed Kripke models over recursive worlds. Zbl 1284.68102
Birkedal, Lars; Reus, Bernhard; Schwinghammer, Jan; Støvring, Kristian; Thamsborg, Jacob; Yang, Hongseok
16
2011
A step-indexed Kripke model of hidden state via recursive properties on recursively defined metric spaces. Zbl 1326.68105
Schwinghammer, Jan; Birkedal, Lars; Støvring, Kristian
1
2011
The category-theoretic solution of recursive metric-space equations. Zbl 1205.68216
Birkedal, Lars; Støvring, Kristian; Thamsborg, Jacob
11
2010
Realisability semantics of parametric polymorphism, general references and recursive types. Zbl 1209.68122
Birkedal, Lars; Støvring, Kristian; Thamsborg, Jacob
10
2010
Realizability semantics of parametric polymorphism, general references, and recursive types. Zbl 1234.68052
Birkedal, Lars; Støvring, Kristian; Thamsborg, Jacob
12
2009
A complete, co-inductive syntactic theory of sequential control and state. Zbl 1253.68083
Støvring, Kristian; Lassen, Soren B.
5
2009
A complete, co-inductive syntactic theory of sequential control and state. Zbl 1295.68093
Støvring, Kristian; Lassen, Soren B.
11
2007
Inductive reasoning about effectful data types. Zbl 1291.68143
Filinski, Andrzej; Støvring, Kristian
8
2007
Extending the extensional lambda calculus with surjective pairing is conservative. Zbl 1126.03019
Støvring, Kristian
8
2006
Program extraction from proofs of weak head normalization. Zbl 1273.03098
Biernacka, Małgorzata; Danvy, Olivier; Støvring, Kristian
2
2006
Higher-order beta matching with solutions in long beta-eta normal form. Zbl 1122.03009
Støvring, Kristian
1
2006
all cited Publications top 5 cited Publications
all top 5

Cited by 133 Authors

28 Birkedal, Lars
10 Møgelberg, Rasmus Ejlers
8 Bizjak, Aleš
6 Jaber, Guilhem
6 Støvring, Kristian
6 Thamsborg, Jacob
5 Biernacki, Dariusz
5 Reus, Bernhard
4 Clouston, Ranald A.
4 Krebbers, Robbert
4 Lenglet, Sergueï
4 Nuyts, Andreas
4 Paviotti, Marco
3 Bengtson, Jesper
3 Devriese, Dominique
3 Grathwohl, Hans Bugge
3 Guatto, Adrien
3 Hirschkoff, Daniel
3 Katsumata, Shin-ya
3 Kavvos, G. A.
3 Litak, Tadeusz
3 Mannaa, Bassel
3 Piróg, Maciej
3 Polesiuk, Piotr
3 Riba, Colin
3 Sangiorgi, Davide
3 Schwinghammer, Jan
3 Sieczkowski, Filip
3 Statman, Richard
3 Svendsen, Kasper
3 Yang, Hongseok
2 Appel, Andrew W.
2 Benton, Nick
2 Charlton, Nathaniel
2 Díaz-Caro, Alejandro
2 Dreyer, Derek R.
2 Durier, Adrien
2 Gaboardi, Marco
2 Gibbons, Jeremy
2 Gratzer, Daniel
2 Harper, Robert
2 Jung, Ralf
2 Metcalfe, George
2 Pottier, François
2 Pradic, Pierre
2 Santschi, Simon
2 Severi, Paula Gabriela
2 Spitters, Bas
2 Sterling, Jonathan
2 Sumii, Eijiro
2 Tzevelekos, Nikos
2 van Gool, Samuel Jacob
2 Veltri, Niccolò
1 Accattoli, Beniamino
1 Atkey, Robert
1 Azevedo de Amorim, Arthur
1 Bahr, Patrick
1 Basold, Henning
1 Biernacka, Małgorzata
1 Brunel, Aloïs
1 Buisse, Alexandre
1 Cai, Hongxu
1 Cao, Qinxiang
1 Ceulemans, Joris
1 Cherigui, Ikram
1 Cuellar, Santiago
1 Czajka, Łukasz
1 Derakhshan, Farzaneh
1 Dockins, Robert
1 Dotzel, Myra
1 Dowek, Gilles
1 Felgenhauer, Bertram
1 Feng, Xinyu
1 Filinski, Andrzej
1 Frumin, Dan
1 Goncharov, Sergeĭ Savost’yanovich
1 Graulund, Christian Uldal
1 Guo, Shuyu
1 Hobor, Aquinas
1 Hofmann, Martin
1 Horsfall, Ben
1 Hsu, Justin
1 Jacobs, Bart
1 Jagadeesan, Radha
1 Jeltsch, Wolfgang
1 Jensen, Jonas Braband
1 Jia, Limin
1 Johann, Patricia
1 Jourdan, Jacques-Henri
1 Kastberg Hinrichsen, Jonas
1 Koprowski, Adam
1 Krishnaswami, Neel
1 Krishnaswami, Neelakantan R.
1 Krogh-Jespersen, Morten
1 Lassen, Søren B.
1 Levy, Paul Blain
1 Licata, Daniel R.
1 Merro, Massimo
1 Munch-Maccagnoni, Guillaume
1 Murawski, Andrzej S.
...and 33 more Authors
all top 5

Cited in 14 Serials

12 Logical Methods in Computer Science
6 Theoretical Computer Science
6 Mathematical Structures in Computer Science
5 Journal of Functional Programming
2 Information and Computation
2 Journal of Automated Reasoning
1 Acta Informatica
1 Journal of Computer and System Sciences
1 New Generation Computing
1 Indagationes Mathematicae. New Series
1 Applicable Algebra in Engineering, Communication and Computing
1 The Journal of Logic and Algebraic Programming
1 Computer Languages, Systems & Structures
1 Journal of Logical and Algebraic Methods in Programming
all top 5

Cited in 6 Fields

95 Computer science (68-XX)
69 Mathematical logic and foundations (03-XX)
17 Category theory; homological algebra (18-XX)
1 General topology (54-XX)
1 Algebraic topology (55-XX)
1 Quantum theory (81-XX)

Citations by Year