Matches in SemOpenAlex for { <https://semopenalex.org/work/W1500355891> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1500355891 endingPage "135" @default.
- W1500355891 startingPage "117" @default.
- W1500355891 abstract "This chapter explains explicit mathematics as a framework for a unifying approach to the kind of type theories and lambda calculi that are used in present day computer science. The chapter describes some general considerations about monomorphic and polymorphic type structures and presents the basic ideas and definitions of this approach. The chapter also explains the conceptual interplay between type theories and explicit mathematics. In computer science, types and typed languages are useful to structure the data, prevent forbidden operations, and support the correctness of programs." @default.
- W1500355891 created "2016-06-24" @default.
- W1500355891 creator A5019358632 @default.
- W1500355891 date "1989-01-01" @default.
- W1500355891 modified "2023-10-16" @default.
- W1500355891 title "Type Theory and Explicit Mathematics" @default.
- W1500355891 cites W1457303840 @default.
- W1500355891 cites W1491710345 @default.
- W1500355891 cites W1498926208 @default.
- W1500355891 cites W1518280455 @default.
- W1500355891 cites W1544564247 @default.
- W1500355891 cites W1579817075 @default.
- W1500355891 cites W1584223423 @default.
- W1500355891 cites W1595372275 @default.
- W1500355891 cites W1763978647 @default.
- W1500355891 cites W1867436870 @default.
- W1500355891 cites W2027657506 @default.
- W1500355891 cites W2050939025 @default.
- W1500355891 cites W2054969282 @default.
- W1500355891 cites W2106718208 @default.
- W1500355891 cites W2131435036 @default.
- W1500355891 cites W2211325406 @default.
- W1500355891 cites W97133795 @default.
- W1500355891 doi "https://doi.org/10.1016/s0049-237x(08)70127-7" @default.
- W1500355891 hasPublicationYear "1989" @default.
- W1500355891 type Work @default.
- W1500355891 sameAs 1500355891 @default.
- W1500355891 citedByCount "6" @default.
- W1500355891 crossrefType "book-chapter" @default.
- W1500355891 hasAuthorship W1500355891A5019358632 @default.
- W1500355891 hasConcept C135790938 @default.
- W1500355891 hasConcept C136119220 @default.
- W1500355891 hasConcept C145420912 @default.
- W1500355891 hasConcept C18903297 @default.
- W1500355891 hasConcept C199343813 @default.
- W1500355891 hasConcept C199360897 @default.
- W1500355891 hasConcept C202444582 @default.
- W1500355891 hasConcept C20528804 @default.
- W1500355891 hasConcept C2777299769 @default.
- W1500355891 hasConcept C2777686260 @default.
- W1500355891 hasConcept C33923547 @default.
- W1500355891 hasConcept C41008148 @default.
- W1500355891 hasConcept C55439883 @default.
- W1500355891 hasConcept C71924100 @default.
- W1500355891 hasConcept C80444323 @default.
- W1500355891 hasConcept C86803240 @default.
- W1500355891 hasConcept C93682546 @default.
- W1500355891 hasConceptScore W1500355891C135790938 @default.
- W1500355891 hasConceptScore W1500355891C136119220 @default.
- W1500355891 hasConceptScore W1500355891C145420912 @default.
- W1500355891 hasConceptScore W1500355891C18903297 @default.
- W1500355891 hasConceptScore W1500355891C199343813 @default.
- W1500355891 hasConceptScore W1500355891C199360897 @default.
- W1500355891 hasConceptScore W1500355891C202444582 @default.
- W1500355891 hasConceptScore W1500355891C20528804 @default.
- W1500355891 hasConceptScore W1500355891C2777299769 @default.
- W1500355891 hasConceptScore W1500355891C2777686260 @default.
- W1500355891 hasConceptScore W1500355891C33923547 @default.
- W1500355891 hasConceptScore W1500355891C41008148 @default.
- W1500355891 hasConceptScore W1500355891C55439883 @default.
- W1500355891 hasConceptScore W1500355891C71924100 @default.
- W1500355891 hasConceptScore W1500355891C80444323 @default.
- W1500355891 hasConceptScore W1500355891C86803240 @default.
- W1500355891 hasConceptScore W1500355891C93682546 @default.
- W1500355891 hasLocation W15003558911 @default.
- W1500355891 hasOpenAccess W1500355891 @default.
- W1500355891 hasPrimaryLocation W15003558911 @default.
- W1500355891 hasRelatedWork W1480879962 @default.
- W1500355891 hasRelatedWork W2003295197 @default.
- W1500355891 hasRelatedWork W2129762978 @default.
- W1500355891 hasRelatedWork W2146937878 @default.
- W1500355891 hasRelatedWork W2152655108 @default.
- W1500355891 hasRelatedWork W2779172326 @default.
- W1500355891 hasRelatedWork W2799064532 @default.
- W1500355891 hasRelatedWork W3092664739 @default.
- W1500355891 hasRelatedWork W4233960656 @default.
- W1500355891 hasRelatedWork W3021962464 @default.
- W1500355891 isParatext "false" @default.
- W1500355891 isRetracted "false" @default.
- W1500355891 magId "1500355891" @default.
- W1500355891 workType "book-chapter" @default.