A Typed Pattern Calculus

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

TitleA Typed Pattern Calculus
Publication TypeConference Paper
Year of Publication1993
AuthorsBreazu-Tannen V, Kesner D, Puel L
Conference NameProceedings of 8th IEEE Symposium on Logic in Computer Science
Date PublishedJune
Conference LocationMontreal, Canada