Pointfree approach to Constructive Analysis in Type Theory
| Cederquist, Jan | en | |
| 2008-08-11T10:37:23Z | ||
| 2008-08-11T10:37:23Z | ||
| 1997 | en | |
| 1997-05-30 | en | |
| Department of Computing science | eng | |
| Institutionen för datavetenskap | swe | |
| MNF | ||
| 1997 | en | |
| 798 | en | |
| Göteborgs universitet/University of Gothenburg | eng | |
| http://hdl.handle.net/2077/17373 | ||
| Pointfree approach to Constructive Analysis in Type Theory | en | |
| Text | en | |
| Doctoral thesis | en |