An abstract account of composition (1995)

by Martín Abadi , Stephan Merz
Venue:MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE
Citations:16 - 2 self