Back to Results
First PageMeta Content
Data types / Ordinal number / Wellfoundedness / Boolean data type / Mathematical logic / Computing / Mathematics / Type theory


Typbasierte Programmtransformation Janis Voigtl¨ander Technische Universit¨ at Dresden 14. Juli 2009
Add to Reading List

Document Date: 2016-08-01 05:50:10

Open Document

File Size: 234,58 KB

Share Result on Facebook