Partiality, State and Dependent Types (Q3007667): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-21691-6_17
+Normal rank
@@ Property / OpenAlex ID @@
+W1565968479
@@ Property / OpenAlex ID: W1565968479 / rank @@
+Normal rank
@@ Property / cites work @@
+Interacting with Modal Logics in the Coq Proof Assistant
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Recursion over realizability structures
@@ Property / cites work: Recursion over realizability structures / rank @@
+Normal rank
@@ Property / cites work @@
+Realisability semantics of parametric polymorphism, general references and recursive types
+Normal rank
@@ Property / cites work @@
+The Vienna development method: The meta-language
@@ Property / cites work: The Vienna development method: The meta-language / rank @@
+Normal rank
@@ Property / cites work @@
+Q2743705
@@ Property / cites work: Q2743705 / rank @@
+Normal rank
@@ Property / cites work @@
+General Recursion via Coinductive Types
@@ Property / cites work: General Recursion via Coinductive Types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249900
@@ Property / cites work: Q4249900 / rank @@
+Normal rank
@@ Property / cites work @@
+Representing inductively defined sets by wellorderings in Martin-Löf's type theory
+Normal rank
@@ Property / cites work @@
+Q3075246
@@ Property / cites work: Q3075246 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of correctness of data representations
@@ Property / cites work: Proof of correctness of data representations / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4371400
@@ Property / cites work: Q4371400 / rank @@
+Normal rank
@@ Property / cites work @@
+Wellfounded trees in categories
@@ Property / cites work: Wellfounded trees in categories / rank @@
+Normal rank
@@ Property / cites work @@
+Hoare type theory, polymorphism and separation
@@ Property / cites work: Hoare type theory, polymorphism and separation / rank @@
+Normal rank
@@ Property / cites work @@
+Ynot
@@ Property / cites work: Ynot / rank @@
+Normal rank
@@ Property / cites work @@
+Structuring the verification of heap-manipulating programs
+Normal rank
@@ Property / cites work @@
+Q4783297
@@ Property / cites work: Q4783297 / rank @@
+Normal rank
@@ Property / cites work @@
+A Realizability Model for Impredicative Hoare Type Theory
+Normal rank
@@ Property / cites work @@
+Partiality, State and Dependent Types
@@ Property / cites work: Partiality, State and Dependent Types / rank @@
+Normal rank