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: Heimlich, Sarah
Date: 2019
Language: eng
Resource Type: Thesis MRes
Identifier: http://hdl.handle.net/1959.14/1271094
Description: Empirical thesis.
Full Text: Full Text
Authors: Gonzalia, Carlos
Date: 2004
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/1144371
Description: We offer here an overview of several initial attempts of formalisation of relational database theory in a constructive, type-theoretic, framework. Each successive formalisation is of more generality, ... More
Reviewed: Reviewed
  • First
  • Previous
  • 1
  • Next
  • Last