Matches in SemOpenAlex for { <https://semopenalex.org/work/W2472180565> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W2472180565 abstract "This is my working paper on a proposed logical framework for the practice of mathematics, which is paralleled by philosophical considerations and a computer implementation (a variant of Automath). Updated 10/27/2016 with a version from 10/22/2016. New versions are regularly posted on the author's web page at this http URL which is a directory containing various related files." @default.
- W2472180565 created "2016-07-22" @default.
- W2472180565 creator A5077035801 @default.
- W2472180565 date "2016-07-06" @default.
- W2472180565 modified "2023-09-27" @default.
- W2472180565 title "A System of Dependent Types, with an Implementation and a Philosophy" @default.
- W2472180565 cites W1505380256 @default.
- W2472180565 cites W1524608022 @default.
- W2472180565 cites W1603543937 @default.
- W2472180565 cites W1996404651 @default.
- W2472180565 cites W2044758536 @default.
- W2472180565 hasPublicationYear "2016" @default.
- W2472180565 type Work @default.
- W2472180565 sameAs 2472180565 @default.
- W2472180565 citedByCount "0" @default.
- W2472180565 crossrefType "posted-content" @default.
- W2472180565 hasAuthorship W2472180565A5077035801 @default.
- W2472180565 hasConcept C111919701 @default.
- W2472180565 hasConcept C136764020 @default.
- W2472180565 hasConcept C23123220 @default.
- W2472180565 hasConcept C2777683733 @default.
- W2472180565 hasConcept C41008148 @default.
- W2472180565 hasConceptScore W2472180565C111919701 @default.
- W2472180565 hasConceptScore W2472180565C136764020 @default.
- W2472180565 hasConceptScore W2472180565C23123220 @default.
- W2472180565 hasConceptScore W2472180565C2777683733 @default.
- W2472180565 hasConceptScore W2472180565C41008148 @default.
- W2472180565 hasLocation W24721805651 @default.
- W2472180565 hasOpenAccess W2472180565 @default.
- W2472180565 hasPrimaryLocation W24721805651 @default.
- W2472180565 hasRelatedWork W111861413 @default.
- W2472180565 hasRelatedWork W131063383 @default.
- W2472180565 hasRelatedWork W1535204167 @default.
- W2472180565 hasRelatedWork W1543641760 @default.
- W2472180565 hasRelatedWork W1546376725 @default.
- W2472180565 hasRelatedWork W1986248909 @default.
- W2472180565 hasRelatedWork W2079026361 @default.
- W2472180565 hasRelatedWork W2137868632 @default.
- W2472180565 hasRelatedWork W2190003185 @default.
- W2472180565 hasRelatedWork W2227676836 @default.
- W2472180565 hasRelatedWork W2251013452 @default.
- W2472180565 hasRelatedWork W2319767218 @default.
- W2472180565 hasRelatedWork W2337269565 @default.
- W2472180565 hasRelatedWork W2555915876 @default.
- W2472180565 hasRelatedWork W2740470 @default.
- W2472180565 hasRelatedWork W2766372917 @default.
- W2472180565 hasRelatedWork W362544717 @default.
- W2472180565 hasRelatedWork W37784955 @default.
- W2472180565 hasRelatedWork W592116434 @default.
- W2472180565 hasRelatedWork W646598559 @default.
- W2472180565 isParatext "false" @default.
- W2472180565 isRetracted "false" @default.
- W2472180565 magId "2472180565" @default.
- W2472180565 workType "article" @default.