A typed, algebraic, computational lambda-calculus (Q4917199): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+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 @@
+Order-incompleteness and finite lambda reduction models
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+The differential lambda-calculus
@@ Property / cites work: The differential lambda-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Finiteness spaces
@@ Property / cites work: Finiteness spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934579
@@ Property / cites work: Q3934579 / rank @@
+Normal rank
@@ Property / cites work @@
+A Relational Model of a Parallel and Non-deterministic λ-Calculus
+Normal rank
@@ Property / cites work @@
+Polymorphic rewriting conserves algebraic strong normalization
+Normal rank
@@ Property / cites work @@
+Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
+Normal rank
@@ Property / cites work @@
+The algebraic lambda calculus
@@ Property / cites work: The algebraic lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A Lambda Calculus for Quantum Computation
@@ Property / cites work: A Lambda Calculus for Quantum Computation / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0960129512000205
+Normal rank
@@ Property / OpenAlex ID @@
+W2027907817
@@ Property / OpenAlex ID: W2027907817 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4917199