@phdthesis{229,
    month                     = {January},
    year                      = {1974},
    pages                     = {182-196},
    title                     = {{The Minimal Continuous Semantics of the Lambda-Calculus}},
    author                    = {P.H. Welch},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1974/229},
                   author_ids = {phw},
                       school = {University of Warwick}
}

@book{407,
    month                     = {January},
    year                      = {1974},
    pages                     = {182-196},
    title                     = {Macro Processors and Techniques for Portable Software},
    author                    = {P. J. Brown},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1974/407},
                    publisher = {Wiley}
}

@article{230,
    month                     = {January},
    year                      = {1975},
    pages                     = {182-196},
    title                     = {{Continuous Semantics and Inside-Out Reductions}},
    author                    = {P.H. Welch},
    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}
}

@book{406,
    month                     = {January},
    year                      = {1979},
    pages                     = {182-196},
    title                     = {Writing Interactive Compilers and Interpreters},
    author                    = {P. J. Brown},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/1979/406},
                    publisher = {Wiley}
}