Publications of Penn Database Group

Found 1 results

1993
Breazu-Tannen V, Kesner D, Puel L.  1993.  A Typed Pattern Calculus. Proceedings of 8th IEEE Symposium on Logic in Computer Science. :262-274.