[3] P. B. Andrews. An Introduction to Mathematical Logic and Type Theory: To Truth through Proof. Academic Press, 1986. [4] Y. Bar-Hillel. A quasi-arithmetical notation for syntactic description. Language, 29:47 58, 1953. [5] H. P. Barendregt. The Lambda Calculus, Its Syntax and Semantics. Studies in Logic. NorthHolland, Amsterdam, 1981. [6] N. Chomsky. Syntactic Structures. Mouton and Co., 1957. [7] H. B. Curry. Some logical aspects of grammatical structure. In American Mathematical Society Proceedings of the Symposia on Applied Mathematics 12, pages 56 68, 1961. [8] J. Lambek. The mathematics of sentence structure. The American Mathematical Monthly, 65:154 170, 1958. [9] R. Montague. Formal Philosophy: Selected Papers of Richard Montague. Yale University Press, 1974. [10] G. V. Morrill. Type Logical Grammar: Categorial Logic of Signs. Kluwer Academic Publishers, 1994. [11] A. Ranta. Type-Theoretical Grammar. Oxford University Press, 1994. [12] J. van Benthem. The semantics of variety in categorial grammar. In W. Buszkowski, J. van Benthem, and W. Marciszewski, editors, Categorial Grammar, number 25 in Linguistics and Literary Studies in Eastern Europe, pages 37 55. John Benjamins, 1986. Previously appeared as Report 83-29, Department of Mathematics, Simon Fraser University (1983). [13] M. M. Wood. Categorial Grammars. Routledge, 1993. Review of
End of preview. The entire article is 8 pages. To view the full-text, please rent this article to continue.
/lp/association-for-computing-machinery/review-of-the-calculus-a-theory-of-mobile-processes-19SnCJKKE0
Welcome to DeepDyve! Rent Premier Research Articles and Save Up to 90%
Review of the π-calculus: a theory of mobile processes
Pucella, Riccardo
Follow ACM SIGACT News
, Volume 34 (1)
Association for Computing Machinery – Mar 1, 2003
More Info
More Like This Article
View All dataSource[]=actageo&dataSource[]=aspet&dataSource[]=aaos&dataSource[]=aacc&dataSource[]=aacr&dataSource[]=aea&dataSource[]=aip&dataSource[]=ajnr&dataSource[]=ams&dataSource[]=aps_physical&dataSource[]=appi_book&dataSource[]=appi_journal&dataSource[]=apha&dataSource[]=asip&dataSource[]=asm&dataSource[]=asn&dataSource[]=aspb&dataSource[]=avs&dataSource[]=annual_reviews&dataSource[]=arxiv&dataSource[]=acm&dataSource[]=berghahn&dataSource[]=cabi&dataSource[]=clinical_trials&dataSource[]=dailymed&dataSource[]=degruyter&dataSource[]=du_press&dataSource[]=esa&dataSource[]=eu_press&dataSource[]=elsevier&dataSource[]=emerald&dataSource[]=ejtr&dataSource[]=emea&dataSource[]=epo&dataSource[]=faseb&dataSource[]=gsa&dataSource[]=health_affairs&dataSource[]=hindawi&dataSource[]=imanager&dataSource[]=imedpub&dataSource[]=informa_healthcare&dataSource[]=informs&dataSource[]=iop&dataSource[]=iucr&dataSource[]=iospress&dataSource[]=jbjs&dataSource[]=leftcoast&dataSource[]=lu_press&dataSource[]=mesharpe&dataSource[]=mary_ann_liebert&dataSource[]=medline&dataSource[]=mit_press&dataSource[]=nature&dataSource[]=oxford&dataSource[]=pier_professional&dataSource[]=pnas&dataSource[]=portlandpress&dataSource[]=psyc_articles&dataSource[]=psyc_books&dataSource[]=psyc_critiques&dataSource[]=plos_journal&dataSource[]=pubmed_central&dataSource[]=rsna&dataSource[]=rockefeller&dataSource[]=rcn&dataSource[]=ria&dataSource[]=rsc&dataSource[]=sage&dataSource[]=spie&dataSource[]=springer_journal&dataSource[]=springer&dataSource[]=taylor_francis&dataSource[]=aps&dataSource[]=the_scientist&dataSource[]=uc_press&dataSource[]=uspto_abstract&dataSource[]=wiley&dataSource[]=pct
© 2012 DeepDyve, Inc. All rights reserved.
Terms of Service | Privacy Policy
