Skip to content

Logical Relations and Galois Connections.

Kevin Backhouse, Roland Carl Backhouse

VenueBMPC
Year2002
ProceedingsMPC

Browse the full MPC paper archive.