Matches in SemOpenAlex for { <https://semopenalex.org/work/W1498706023> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W1498706023 endingPage "385" @default.
- W1498706023 startingPage "371" @default.
- W1498706023 abstract "In this paper we study the addition of parameters to typed λ-calculus with definitions. We show that the resulting systems have nice properties and illustrate that parameters allow for a better fine-tuning of the strength of type systems as well as staying closer to type systems used in practice in theorem provers and programming languages." @default.
- W1498706023 created "2016-06-24" @default.
- W1498706023 creator A5003863800 @default.
- W1498706023 creator A5019661437 @default.
- W1498706023 creator A5031944209 @default.
- W1498706023 creator A5036895724 @default.
- W1498706023 date "2002-01-01" @default.
- W1498706023 modified "2023-09-26" @default.
- W1498706023 title "Parameters in Pure Type Systems" @default.
- W1498706023 cites W1608370356 @default.
- W1498706023 cites W1996404651 @default.
- W1498706023 cites W2022062784 @default.
- W1498706023 cites W2087917645 @default.
- W1498706023 cites W2110373727 @default.
- W1498706023 cites W2110696178 @default.
- W1498706023 cites W2112885424 @default.
- W1498706023 cites W2136446682 @default.
- W1498706023 doi "https://doi.org/10.1007/3-540-45995-2_34" @default.
- W1498706023 hasPublicationYear "2002" @default.
- W1498706023 type Work @default.
- W1498706023 sameAs 1498706023 @default.
- W1498706023 citedByCount "5" @default.
- W1498706023 crossrefType "book-chapter" @default.
- W1498706023 hasAuthorship W1498706023A5003863800 @default.
- W1498706023 hasAuthorship W1498706023A5019661437 @default.
- W1498706023 hasAuthorship W1498706023A5031944209 @default.
- W1498706023 hasAuthorship W1498706023A5036895724 @default.
- W1498706023 hasBestOaLocation W14987060232 @default.
- W1498706023 hasConcept C11413529 @default.
- W1498706023 hasConcept C136119220 @default.
- W1498706023 hasConcept C18903297 @default.
- W1498706023 hasConcept C199343813 @default.
- W1498706023 hasConcept C199360897 @default.
- W1498706023 hasConcept C202444582 @default.
- W1498706023 hasConcept C206880738 @default.
- W1498706023 hasConcept C2777299769 @default.
- W1498706023 hasConcept C2777686260 @default.
- W1498706023 hasConcept C33923547 @default.
- W1498706023 hasConcept C41008148 @default.
- W1498706023 hasConcept C71924100 @default.
- W1498706023 hasConcept C80444323 @default.
- W1498706023 hasConcept C86803240 @default.
- W1498706023 hasConcept C93682546 @default.
- W1498706023 hasConceptScore W1498706023C11413529 @default.
- W1498706023 hasConceptScore W1498706023C136119220 @default.
- W1498706023 hasConceptScore W1498706023C18903297 @default.
- W1498706023 hasConceptScore W1498706023C199343813 @default.
- W1498706023 hasConceptScore W1498706023C199360897 @default.
- W1498706023 hasConceptScore W1498706023C202444582 @default.
- W1498706023 hasConceptScore W1498706023C206880738 @default.
- W1498706023 hasConceptScore W1498706023C2777299769 @default.
- W1498706023 hasConceptScore W1498706023C2777686260 @default.
- W1498706023 hasConceptScore W1498706023C33923547 @default.
- W1498706023 hasConceptScore W1498706023C41008148 @default.
- W1498706023 hasConceptScore W1498706023C71924100 @default.
- W1498706023 hasConceptScore W1498706023C80444323 @default.
- W1498706023 hasConceptScore W1498706023C86803240 @default.
- W1498706023 hasConceptScore W1498706023C93682546 @default.
- W1498706023 hasLocation W14987060231 @default.
- W1498706023 hasLocation W14987060232 @default.
- W1498706023 hasLocation W14987060233 @default.
- W1498706023 hasLocation W14987060234 @default.
- W1498706023 hasOpenAccess W1498706023 @default.
- W1498706023 hasPrimaryLocation W14987060231 @default.
- W1498706023 hasRelatedWork W1998846220 @default.
- W1498706023 hasRelatedWork W2062081760 @default.
- W1498706023 hasRelatedWork W3006785914 @default.
- W1498706023 hasRelatedWork W3037922191 @default.
- W1498706023 hasRelatedWork W3210955572 @default.
- W1498706023 isParatext "false" @default.
- W1498706023 isRetracted "false" @default.
- W1498706023 magId "1498706023" @default.
- W1498706023 workType "book-chapter" @default.