Composition under distributive natural transformations: or, when predicate abstraction is impossible

DOI10.1007/S10849-022-09361-2OpenAlexW4224240578MaRDI QIDQ2093020

Dylan Bumford

Publication date: 4 November 2022

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-022-09361-2

zbMATH Keywords

compositionalityabstractionmonadsalternative semanticstype shiftingHamblin semantics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites Work

• Completeness in the theory of types
• Unnamed Item
• Unnamed Item

This page was built for publication: Composition under distributive natural transformations: or, when predicate abstraction is impossible