Inductive types in constructive languages

This dissertation deals with constructive languages: languages for the formal expression of mathematical constructions. The concept of construction does not only encompass computations, as expressed in programming languages,but also propositions and proofs, as expressed in a mathematical logic, and in particular the construction of structured mathematical objects like sequences and trees. Types may be conceived of as classes of such objects, and inductive types are types whose objects are generated by production rules ...

Zie: Summary

	titlepages/contents
	chapter 1
	chapter 2
	chapter 3
	chapter 4
	chapter 5
	chapter 6
	chapter 7
	chapter 8
	chapter 9
	chapter 10
	chapter 11
	appendic
	appendix
	bibliography
	index
	references
	samenvatting
	stellingen
	summary
	thesis

Meer informatie in de catalogus

Afdrukken op bestelling.