Octocurious

Home

❯

ref

❯

martin lof1984 mltt

martin-lof1984-mltt

13 May 20261 min read

Metadata

  • Key: martin-lof1984-mltt
  • Type: reference
  • Author: Per Martin-Lof
  • Note: Lecture notes by Giovanni Sambin from a course held in Padua, 1980
  • Publisher: Bibliopolis
  • Address: Naples
  • Year: 1984

Links

Semantic Scholar: https://www.semanticscholar.org/paper/Intuitionistic-type-theory-Martin-L%C3%B6f/dd300f101ae724a42ebf1cae51144eef5fc44e8f#cited-papers PDF: https://www.cse.chalmers.se/~peterd/papers/MartinL%C3%B6f1984.pdf


Graph View

  • Metadata
  • Links

Backlinks

  • Context (Type Theory)
  • Identity Type
  • Martin-Löf Type Theory
  • Metatheoretic Judgement
  • Transport
  • Type Theory
  • Type

Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community