An Essay in Combinatory Dynamic Logic (1991)

by S Passy, T Tinchev
Venue:Information and Computation