Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Year | Title | BibTeX cite key | |||||
---|---|---|---|---|---|---|---|
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
1991 | Some Normalization Properties of Martin-Löf's Type Theory, and Applications In: International Conference on Theoretical Aspects of Computer Software (TACS '91), 475-494 | Basin91a | |||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
|