Principal typing-schemes in a polyadic -calculus (1993) [11 citations — 8 self]
Download:
|
|
by Vasco Thudichum Vasconcelos, Kohei Honda
In 4th International Conference on Concurrency Theory, volume 715 of LNCS
http://www.di.fc.ul.pt/~vv/papers/pitypings-keioreport.ps.gz
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Vasconcelos93principaltyping-schemes,author = {Vasco Thudichum Vasconcelos and Kohei Honda},
title = {Principal typing-schemes in a polyadic -calculus},
booktitle = {In 4th International Conference on Concurrency Theory, volume 715 of LNCS},
year = {1993},
pages = {524--538},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Abstract:
send
