Document Search Results

A mathematical life. (English) Zbl 1396.03003

Czelakowski, Janusz (ed.), Don Pigozzi on abstract algebraic logic, universal algebra, and computer science. Cham: Springer (ISBN 978-3-319-74771-2/hbk; 978-3-319-74772-9/ebook). Outstanding Contributions to Logic 16, 1-51 (2018).

MSC: 03-03 01A70

Cite Review PDF

Full Text: DOI

Gabbay, Murdoch J.; Gabbay, Michael

Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness. (English) Zbl 1422.03023

Ann. Pure Appl. Logic 168, No. 3, 501-621 (2017).

MSC: 03B40 06D50 03C55 03G25

Cite Review PDF

Full Text: DOI arXiv Link

Clouston, Ranald A.; Pitts, Andrew M.

Nominal equational logic. (English) Zbl 1277.68043

Cardelli, Luca (ed.) et al., Computation, meaning, and logic. Articles dedicated to Gordon Plotkin. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 172, 223-257 (2007).

MSC: 68N15 03B70 08B05

Cite Review PDF

Full Text: DOI

Berline, C.; Salibra, A.

Easiness in graph models. (English) Zbl 1088.68034

Theor. Comput. Sci. 354, No. 1, 4-23 (2006).

MSC: 68N18 03B50

Cite Review PDF

Full Text: DOI HAL

Salibra, Antonino

Towards lambda calculus order-incompleteness. (English) Zbl 1261.03076

Levy, Jean-Jacques (ed.), BOTH 2001 – Böhm’s theorem: applications to computer science theory. Proceedings of one of the four satellite workshops of the 28th international colloquium on automata, languages and programming (ICALP 2001) held in Crete, Greece, July 13, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 50, No. 2, 145-158 (2001).

MSC: 03B40

Cite Review PDF

Full Text: DOI

Salibra, A.

On the algebraic models of lambda calculus. (English) Zbl 0949.68048

Theor. Comput. Sci. 249, No. 1, 197-240 (2000).

MSC: 68N18

Cite Review PDF

Full Text: DOI

Salibra, Antonino; Goldblatt, Robert

A finite equational axiomatization of the functional algebras for the lambda calculus. (English) Zbl 0920.03025

Inf. Comput. 148, No. 1, 71-130 (1999).

MSC: 03B40 03C05 03G25

Cite Review PDF

Full Text: DOI Link

Goldblatt, Robert

Enlargements of functional algebras for the lambda calculus. (English) Zbl 0901.03016

Theor. Comput. Sci. 198, No. 1-2, 177-200 (1998).

MSC: 03B40

Cite Review PDF

Full Text: DOI

Pigozzi, Don; Salibra, Antonino

The abstract variable-binding calculus. (English) Zbl 0836.03038

Stud. Log. 55, No. 1, 129-179 (1995).

MSC: 03G15

Cite Review PDF

Full Text: DOI

Found 9 Documents (Results 1–9)

A mathematical life. (English) Zbl 1396.03003

Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness. (English) Zbl 1422.03023

Nominal equational logic. (English) Zbl 1277.68043

Easiness in graph models. (English) Zbl 1088.68034

Towards lambda calculus order-incompleteness. (English) Zbl 1261.03076

On the algebraic models of lambda calculus. (English) Zbl 0949.68048

A finite equational axiomatization of the functional algebras for the lambda calculus. (English) Zbl 0920.03025

Enlargements of functional algebras for the lambda calculus. (English) Zbl 0901.03016

The abstract variable-binding calculus. (English) Zbl 0836.03038

Filter Results by …

Document Type

Author

Serial

Year of Publication

Main Field

Biographic Reference

Software