© University of Kent - Contact | Feedback | Legal | FOI | Cookies
A Logic for Miranda
Simon Thompson
Formal Aspects of Computing, (1):182-196, July 1989.Bibtex Record
@article{141, author = {Simon Thompson}, title = {{A Logic for Miranda}}, month = {July}, year = {1989}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1989/141}, journal = {Formal Aspects of Computing}, number = {1}, year = {1989}, }