© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Continuous Semantics and Inside-Out Reductions
P.H. Welch
Lecture Notes in Computer Science, 37:182-196, January 1975 Published by Springer-Verlag. Also, in `Proceedings of the Symposium on Lambda-Calculus and Computer Science Theory, Consiglio Nazionelle delle Richerche, Rome, March, 1975.Bibtex Record
@article{230,
author = {P.H. Welch},
title = {{Continuous Semantics and Inside-Out Reductions}},
month = {January},
year = {1975},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {Published by Springer-Verlag. Also, in `Proceedings of the Symposium on Lambda-Calculus and Computer Science Theory, Consiglio Nazionelle delle Richerche, Rome, March, 1975},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1975/230},
author_ids = {phw},
journal = {Lecture Notes in Computer Science},
volume = {37},
}