A cartesian closed category in Martin-Löf's intuitionistic type theory (Q1853587): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Do-it-yourself type theory
@@ Property / cites work: Do-it-yourself type theory / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q4944857
@@ Property / cites work: Q4944857 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3481701
@@ Property / cites work: Q3481701 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247310
@@ Property / cites work: Q4247310 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive domain theory as a branch of intuitionistic pointfree topology
+Normal rank
@@ Property / cites work @@
+Q3959414
@@ Property / cites work: Q3959414 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability in Intuitionistic Type Theory is Functionally Decidable
+Normal rank
@@ Property / cites work @@
+Q4531082
@@ Property / cites work: Q4531082 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(01)00309-7
+Normal rank
@@ Property / OpenAlex ID @@
+W1993848174
@@ Property / OpenAlex ID: W1993848174 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1853587