HN Explorer

DPDmancul

↗ HN profile [ 33.6 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. PHP and TypeScript Types Comparison (gitlab.com)
    2 points 0
  2. Understanding Type Theory Eliminators (zenodo.org)
    2 points 1
  3. Regard Time Machines [pdf] (philpapers.org)
    3 points 2