Skip to main content
Max New's user avatar
Max New's user avatar
Max New's user avatar
Max New
  • Member for 8 years, 8 months
  • Last seen this week
17 votes
0 answers
280 views

Using Dependent Type Theory for Categories that are not LCCC

15 votes
1 answer
603 views

Logical Reations for an Impredicative System in a Predicative MetaTheory

13 votes
1 answer
406 views

Why Reflexive Graphs for Parametricity?

12 votes
2 answers
625 views

Implementing "Internal" Languages

9 votes
3 answers
566 views

"Spurious" Type Equivalences in MLSub/Algebraic Subtyping

6 votes
0 answers
183 views

Notions of Computability at Higher Type III

6 votes
1 answer
317 views

Does the Category of CPOs have omega^op limits?

5 votes
2 answers
197 views

Commutativity of Clock Quantification and Disjunction/Existential Quantification in Guarded Type Theories

5 votes
2 answers
231 views

Does Standard ML validate (CBV) eta equivalence?

2 votes
0 answers
136 views

Why Multiple Clocks in Guarded Dependent Type Theories?