scientific article; zbMATH DE number 7311294

zbMATH Open1456.03029MaRDI QIDQ5151026

Benoît Valiron

Publication date: 16 February 2021

Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?DCM2010.14

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Combinatory logic and lambda calculus (03B40)

Related Items (7)

Algebraic semantics of rewriting terms and types ⋮ Initial algebra semantics for lambda calculi ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them ⋮ Adding algebraic rewriting to the untyped lambda calculus ⋮ Typed ψ-calculi

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5151026)