Publication Details: | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Book: the Computer Journal
| Editors: | MISSING
| Book#: | 0010-4620
| Publisher: | MISSING
| Volume: | 34/4
| Pages: | 387-398
| |
Journal Paper #677 | |
Title: | On Exploiting the Structure of Martin-Lofs Theory of Types |
---|---|
Authors: | Ireland,A |
Date: | 1993 |
Presented: | |
Keywords: |