[HN Gopher] How to implement dependent type theory I (2012)
       ___________________________________________________________________
        
       How to implement dependent type theory I (2012)
        
       Author : todsacerdoti
       Score  : 5 points
       Date   : 2023-06-14 04:12 UTC (18 hours ago)
        
 (HTM) web link (math.andrej.com)
 (TXT) w3m dump (math.andrej.com)
        
       ___________________________________________________________________
       (page generated 2023-06-14 23:01 UTC)