Concepedia

The evolution of type theory in logic and mathematics

Unknown author(s)

TU/e Research Portal (Eindhoven University of Technology) · 1997 · 57 citations · 0 references

DOIFull text

Open access

Concepts