Macquarie University, Sydney Macquarie University ResearchOnline

Showing items 1 - 2 of 2.

Add to Quick Collection   All 2 Results

  • First
  • Previous
  • 1
  • Next
  • Last
Sort:
 Add All Items to Quick Collection
Authors: Lanari, Edoardo
Date: 2019
Language: eng
Resource Type: Thesis PhD
Identifier: http://hdl.handle.net/1959.14/1269609
Description: Empirical thesis.
Full Text: Full Text
Date: 2012
Language: eng
Resource Type: journal article
Identifier: http://hdl.handle.net/1959.14/173481
Description: In this paper we construct new categorical models for the identity types of Martin-Löf type theory, in the categories Top of topological spaces and SSet of simplicial sets. We do so building on earlie ... More
Reviewed: Reviewed
  • First
  • Previous
  • 1
  • Next
  • Last