Loading...
Please wait, while we are loading the content...
Similar Documents
A Semantics for a Ne -calculus with De Bruijn Indices We Are Grateful for the Discussions with Name and Mailing Address of Author to Whom Proofs Should Be Sent
| Content Provider | Semantic Scholar |
|---|---|
| Author | Kamareddine, Fairouz Nederpelt, Rp Rob Baeten, Jos C. M. Barendregt, H. E. Barendsen, Erik Bethke, Inge Borghuis, Tijn Geuvers, Herman Krabbendam, J. J. Poll, Erik Rodenburgh, Peter |
| Copyright Year | 1997 |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.cedar-forest.org/forest/papers/research-reports/Eindhoven-CSN-93-28.pdf |
| Alternate Webpage(s) | http://www.cedar-forest.org/forest/papers/research-reports/Glasgow-FM-93-09.pdf |
| Alternate Webpage(s) | http://www.macs.hw.ac.uk/~fairouz/papers/research-reports/Glasgow-FM-93-09.ps |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |