Explicit mathematics: power types and overloading (Q556826): Difference between revisions

@@ Property / DOI @@
-.1016/j.apal.2004.12.002
@@ Property / DOI: 10.1016/j.apal.2004.12.002 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.apal.2004.12.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2050646635
@@ Property / OpenAlex ID: W2050646635 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3679172
@@ Property / cites work: Q3679172 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3757915
@@ Property / cites work: Q3757915 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4855338
@@ Property / cites work: Q4855338 / rank @@
+Normal rank
@@ Property / cites work @@
+Relating Quine's NF to Feferman's EM
@@ Property / cites work: Relating Quine's NF to Feferman's EM / rank @@
+Normal rank
@@ Property / cites work @@
+Q4335420
@@ Property / cites work: Q4335420 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus for overloaded functions with subtyping
+Normal rank
@@ Property / cites work @@
+Q4128540
@@ Property / cites work: Q4128540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3882452
@@ Property / cites work: Q3882452 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3478384
@@ Property / cites work: Q3478384 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4010354
@@ Property / cites work: Q4010354 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3138832
@@ Property / cites work: Q3138832 / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of explicit mathematics with non-constructive \(\mu\)-operator. I
+Normal rank
@@ Property / cites work @@
+Systems of explicit mathematics with non-constructive \(\mu\)-operator. II
+Normal rank
@@ Property / cites work @@
+On power set in explicit mathematics
@@ Property / cites work: On power set in explicit mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+On the proof-theoretic strength of monotone induction in explicit mathematics
+Normal rank
@@ Property / cites work @@
+Systems of explicit mathematics with non-constructive \(\mu\)-operator and join
+Normal rank
@@ Property / cites work @@
+Q3035279
@@ Property / cites work: Q3035279 / rank @@
+Normal rank
@@ Property / cites work @@
+Power types in explicit mathematics?
@@ Property / cites work: Power types in explicit mathematics? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941991
@@ Property / cites work: Q4941991 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4793035
@@ Property / cites work: Q4793035 / rank @@
+Normal rank
@@ Property / cites work @@
+Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms
+Normal rank
@@ Property / cites work @@
+N-strictness in applicative theories
@@ Property / cites work: N-strictness in applicative theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362933
@@ Property / cites work: Q4362933 / rank @@
+Normal rank
@@ Property / cites work @@
+Why the constant ‘undefined’? Logics of partial terms  for strict  and non-strict functional programming languages
+Normal rank
@@ Property / cites work @@
+Partial Applicative Theories and Explicit Substitutions
+Normal rank
@@ Property / cites work @@
+Q4436035
@@ Property / cites work: Q4436035 / rank @@
+Normal rank
@@ Property / cites work @@
+A Semantics for  : a Calculus with Overloading and Late-binding
+Normal rank
@@ Property / cites work @@
+Q4936128
@@ Property / cites work: Q4936128 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+A computationally adequate model for overloading via domain-valued  functors
+Normal rank
@@ Property / cites work @@
+Q4470496
@@ Property / cites work: Q4470496 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Theories of Operations and Types
@@ Property / cites work: Weak Theories of Operations and Types / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.APAL.2004.12.002
@@ Property / DOI: 10.1016/J.APAL.2004.12.002 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:556826