Reductive Logic, Proof-search, and Coalgebra: A Perspective from Resource Semantics
Attributed to:
A coalgebraic framework for reductive logic and proof-search (ReLiC)
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: http://www0.cs.ucl.ac.uk/staff/D.Pym/rlp-sc.pdf
Type: Book Chapter
Book Title: Outstanding Contributions to Logic: Samson Abramsky on Logic and Structure in Computer Science and Beyond (2021)