Domain-Free<i>λµ</i>-Calculus (Q2729625): Difference between revisions

@@ Property / describes a project that uses @@
+Automath
@@ Property / describes a project that uses: Automath / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2053001507
@@ Property / OpenAlex ID: W2053001507 / rank @@
+Normal rank
@@ Property / cites work @@
+A normalization-procedure for the first order classical natural deduction with full logical symbols
+Normal rank
@@ Property / cites work @@
+Church-Rosser property of a simple reduction for full first-order classical natural deduction
+Normal rank
@@ Property / cites work @@
+Q4281464
@@ Property / cites work: Q4281464 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q4376043
@@ Property / cites work: Q4376043 / rank @@
+Normal rank
@@ Property / cites work @@
+Domain-free pure type systems
@@ Property / cites work: Domain-free pure type systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703743
@@ Property / cites work: Q2703743 / rank @@
+Normal rank
@@ Property / cites work @@
+A modal analysis of staged computation
@@ Property / cites work: A modal analysis of staged computation / rank @@
+Normal rank
@@ Property / cites work @@
+Turing machines with restricted memory access
@@ Property / cites work: Turing machines with restricted memory access / rank @@
+Normal rank
@@ Property / cites work @@
+Q4705613
@@ Property / cites work: Q4705613 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4370352
@@ Property / cites work: Q4370352 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4217956
@@ Property / cites work: Q4217956 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263869
@@ Property / cites work: Q4263869 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536445
@@ Property / cites work: Q4536445 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4954443
@@ Property / cites work: Q4954443 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024836
@@ Property / cites work: Q3024836 / rank @@
+Normal rank
@@ Property / cites work @@
+Corrigendum: Polymorphic type assignment and CPS conversion
+Normal rank
@@ Property / cites work @@
+Sound and complete axiomatisations of call-by-value control operators
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+An analysis of ML typability
@@ Property / cites work: An analysis of ML typability / rank @@
+Normal rank
@@ Property / cites work @@
+Monad as modality
@@ Property / cites work: Monad as modality / rank @@
+Normal rank
@@ Property / cites work @@
+Q5688812
@@ Property / cites work: Q5688812 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3680263
@@ Property / cites work: Q3680263 / rank @@
+Normal rank
@@ Property / cites work @@
+Polymorphic type inference and containment
@@ Property / cites work: Polymorphic type inference and containment / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of type polymorphism in programming
@@ Property / cites work: A theory of type polymorphism in programming / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive unsolvability of Post's problem of ''Tag'' und other topics in theory of Turing machines
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255509
@@ Property / cites work: Q4255509 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282613
@@ Property / cites work: Q4282613 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs of strong normalisation for second order classical natural deduction
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5632554
@@ Property / cites work: Q5632554 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490747
@@ Property / cites work: Q4490747 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical logic, continuation semantics and abstract machines
+Normal rank
@@ Property / cites work @@
+Parallel reductions in \(\lambda\)-calculus
@@ Property / cites work: Parallel reductions in \(\lambda\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q3976029
@@ Property / cites work: Q3976029 / rank @@
+Normal rank