4 results
A general framework for the semantics of type theory
-
- Journal:
- Mathematical Structures in Computer Science / Volume 33 / Issue 3 / March 2023
- Published online by Cambridge University Press:
- 24 July 2023, pp. 134-179
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
On Church’s thesis in cubical assemblies
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 10 / November 2021
- Published online by Cambridge University Press:
- 21 March 2022, pp. 1185-1204
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Discovery of a New Dwarf Nova, TSS J022216.4+412259.9: a WZ Sge-type Dwarf Nova Breaking the Shortest Superhump Period Record
-
- Journal:
- Proceedings of the International Astronomical Union / Volume 2 / Issue S240 / August 2006
- Published online by Cambridge University Press:
- 09 August 2007, pp. 536-541
- Print publication:
- August 2006
-
- Article
-
- You have access
- Export citation
The 2003 Superoutburst of a New SU UMa-Type Dwarf Nova, GO Comae Berenices
-
- Journal:
- International Astronomical Union Colloquium / Volume 194 / 2004
- Published online by Cambridge University Press:
- 22 February 2018, p. 265
- Print publication:
- 2004
-
- Article
-
- You have access
- Export citation