475 followers
@jjcarett2 A Logical Framework with Dependently Typed Records Thierry Coquand, Randy Pollack, Makoto Takeyama Comes with a partial formalization in coq https://t.co/K4SVGOGz4A
@jjcarett2 A Logical Framework with Dependently Typed Records Thierry Coquand, Randy Pollack, Makoto Takeyama Comes with a partial formalization in coq https://t.co/K4SVGOGz4A