Discover open access scientific publications

Search, annotate, share and cite publications

Publications by KRISTIAN STØVRING

Realisability Semantics of Parametric Polymorphism, General References and Recursive Types

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2010English

Related publications

Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Semantics and Types of Cough

Pulmonary Pharmacology and Therapeutics
BiochemistryMedicinePulmonaryRespiratory MedicinePharmacology
2009English

Recursive Equivalence Types and Octahedra

Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics
1983English

The Recursive Record Semantics of Objects Revisited

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

General Semantics

Science
MultidisciplinaryPhilosophy of ScienceHistory
1958English

Semantics and Complexity of Recursive Aggregates in Answer Set Programming

Artificial Intelligence
LinguisticsLanguageArtificial Intelligence
2011English

Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

The Parametric Ordinal-Recursive Complexity of Post Embedding Problems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Intersection Types and Bounded Polymorphism

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
1997English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy