An abstract account of composition (1995)

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