Publication

Inductive types in constructive languages

Bruin, P. J. D. 1995 s.n.. 173 p.

Research output: ThesisThesis fully internal (DIV)

Copy link to clipboard

Documents

  • titlecon.pdf

    Final publisher's version, 163 KB, PDF-document

  • c1.pdf

    Final publisher's version, 235 KB, PDF-document

  • c2.pdf

    Final publisher's version, 315 KB, PDF-document

  • c3.pdf

    Final publisher's version, 228 KB, PDF-document

  • c4.pdf

    Final publisher's version, 269 KB, PDF-document

  • c5.pdf

    Final publisher's version, 228 KB, PDF-document

  • c6.pdf

    Final publisher's version, 236 KB, PDF-document

  • c7.pdf

    Final publisher's version, 215 KB, PDF-document

  • c8.pdf

    Final publisher's version, 202 KB, PDF-document

  • c9.pdf

    Final publisher's version, 226 KB, PDF-document

  • c10.pdf

    Final publisher's version, 203 KB, PDF-document

  • c11.pdf

    Final publisher's version, 190 KB, PDF-document

  • appendic.pdf

    Final publisher's version, 719 KB, PDF-document

  • appendix.pdf

    Final publisher's version, 414 KB, PDF-document

  • bibliography.pdf

    Final publisher's version, 150 KB, PDF-document

  • index.pdf

    Final publisher's version, 202 KB, PDF-document

  • referenc.pdf

    Final publisher's version, 144 KB, PDF-document

  • samenvat.pdf

    Final publisher's version, 98 KB, PDF-document

  • stelling.pdf

    Final publisher's version, 193 KB, PDF-document

  • summary.pdf

    Final publisher's version, 82 KB, PDF-document

  • thesis.pdf

    Final publisher's version, 1 MB, PDF-document

  • Peter Johan de Bruin
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
Original languageEnglish
QualificationDoctor of Philosophy
Supervisors/Advisors
Publisher
StatePublished - 1995

    Keywords

  • Proefschriften (vorm), Formele talen

View graph of relations

Download statistics

No data available

ID: 3267707