Advertisement

Building up a tool-box for Martin-Löf's type theory (abstract)

  • Giovanni Sambin
  • Silvio Valentini
Invited Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 713)

References

  1. [ML 84]
    P. Martin-Löf, Intuitionistic type theory, Notes by G. Sambin of a series of lectures given in Padua, June 1980, Bibliopolis 1984Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Giovanni Sambin
    • 1
  • Silvio Valentini
    • 1
  1. 1.Dipartimento di Matematica Pura e ApplicataPadovaItaly

Personalised recommendations