Publication

Inductive types in constructive languages

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

Research output: ThesisThesis fully internal (DIV)Academic

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
Publication statusPublished - 1995

    Keywords

  • Proefschriften (vorm), Formele talen

Download statistics

No data available

ID: 3267707