Lambda calculus with constrained types (Extended abstract)

Submitted by dbgroup-admin on Thu, 05/27/2010 - 20:57

TitleLambda calculus with constrained types (Extended abstract)
Publication TypeConference Paper
Year of Publication1985
AuthorsBreazu-Tannen V, Meyer AR
EditorParikh R
Conference NameLNCS 193: Proceedings of the Conference on Logics of Programs, Brooklyn, June 1985
PublisherSpringer-Verlag