A model of PCF in guarded type theory (Q5971407): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2015.12.020
+Normal rank
@@ Property / OpenAlex ID @@
+W2182079433
@@ Property / OpenAlex ID: W2182079433 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317721
@@ Property / Wikidata QID: Q113317721 / rank @@
+Normal rank
@@ Property / cites work @@
+A very modal model of a modern, major, general type system
+Normal rank
@@ Property / cites work @@
+Productive coprogramming with guarded recursion
@@ Property / cites work: Productive coprogramming with guarded recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract effects and proof-relevant logical relations
+Normal rank
@@ Property / cites work @@
+Some Domain Theory and Denotational Semantics in Coq
+Normal rank
@@ Property / cites work @@
+Intensional Type Theory with Guarded Recursive Types qua Fixed Points on Universes
+Normal rank
@@ Property / cites work @@
+First steps in synthetic guarded domain theory: step-indexing in the topos of trees
+Normal rank
@@ Property / cites work @@
+A Model of Countable Nondeterminism in Guarded Type Theory
+Normal rank
@@ Property / cites work @@
+Programming and Reasoning with Guarded Recursion for Coinductive Types
+Normal rank
@@ Property / cites work @@
+General Recursion via Coinductive Types
@@ Property / cites work: General Recursion via Coinductive Types / rank @@
+Normal rank
@@ Property / cites work @@
+Applicative programming with effects
@@ Property / cites work: Applicative programming with effects / rank @@
+Normal rank
@@ Property / cites work @@
+A type theory for productive coprogramming via guarded recursion
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+Impredicative Concurrent Abstract Predicates
@@ Property / cites work: Impredicative Concurrent Abstract Predicates / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5971407