Matches in SemOpenAlex for { <https://semopenalex.org/work/W1520236645> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W1520236645 abstract "This article is intended to be an int roduction (for real novices) to the area of proof systems and type systems. We provide very basic notions and their fundamental properties together with some inforrnal ideas behind them. We start by describing hov 'logical reasoning' can be formulated into a proof system, and how structures of proofs can be studied based on this system. We then proceed to a concise exposition of the notion of computable functions, which emerged from proof theory in the early 1930's$ (during the development of the incompleteness theorems by Goodel). Next, after a short account of pure (type-free) $lambda$-calculus in connection with computable functions, we discuss three typed $lambda$-calculi (the simple type system, the second-order type system, and the calculus of constructions) as representatives of type svstems, with emphasis on their relation to the corresponding intuitionistic proof systems (tlle implicational fragment, the second-order propositional logic, and the higher-order predicate logic, respectively)." @default.
- W1520236645 created "2016-06-24" @default.
- W1520236645 creator A5053967112 @default.
- W1520236645 date "1998-01-01" @default.
- W1520236645 modified "2023-09-29" @default.
- W1520236645 title "A Primer on Proofs and Types" @default.
- W1520236645 cites W145869046 @default.
- W1520236645 cites W1795577507 @default.
- W1520236645 cites W1797773564 @default.
- W1520236645 cites W1986402635 @default.
- W1520236645 cites W2039977878 @default.
- W1520236645 cites W2045304669 @default.
- W1520236645 cites W2068627317 @default.
- W1520236645 cites W2126160338 @default.
- W1520236645 cites W2132750992 @default.
- W1520236645 cites W2163568292 @default.
- W1520236645 cites W2323777246 @default.
- W1520236645 cites W2323803659 @default.
- W1520236645 cites W2777556695 @default.
- W1520236645 cites W2913926271 @default.
- W1520236645 cites W569543113 @default.
- W1520236645 doi "https://doi.org/10.2969/msjmemoirs/00201c010" @default.
- W1520236645 hasPublicationYear "1998" @default.
- W1520236645 type Work @default.
- W1520236645 sameAs 1520236645 @default.
- W1520236645 citedByCount "1" @default.
- W1520236645 crossrefType "book-chapter" @default.
- W1520236645 hasAuthorship W1520236645A5053967112 @default.
- W1520236645 hasBestOaLocation W15202366451 @default.
- W1520236645 hasConcept C100481476 @default.
- W1520236645 hasConcept C108710211 @default.
- W1520236645 hasConcept C118615104 @default.
- W1520236645 hasConcept C135790938 @default.
- W1520236645 hasConcept C136119220 @default.
- W1520236645 hasConcept C178421362 @default.
- W1520236645 hasConcept C18903297 @default.
- W1520236645 hasConcept C199343813 @default.
- W1520236645 hasConcept C202444582 @default.
- W1520236645 hasConcept C2318724 @default.
- W1520236645 hasConcept C2524010 @default.
- W1520236645 hasConcept C2777299769 @default.
- W1520236645 hasConcept C2777686260 @default.
- W1520236645 hasConcept C33923547 @default.
- W1520236645 hasConcept C41008148 @default.
- W1520236645 hasConcept C62073222 @default.
- W1520236645 hasConcept C69562738 @default.
- W1520236645 hasConcept C71924100 @default.
- W1520236645 hasConcept C85343465 @default.
- W1520236645 hasConcept C86803240 @default.
- W1520236645 hasConcept C93682546 @default.
- W1520236645 hasConceptScore W1520236645C100481476 @default.
- W1520236645 hasConceptScore W1520236645C108710211 @default.
- W1520236645 hasConceptScore W1520236645C118615104 @default.
- W1520236645 hasConceptScore W1520236645C135790938 @default.
- W1520236645 hasConceptScore W1520236645C136119220 @default.
- W1520236645 hasConceptScore W1520236645C178421362 @default.
- W1520236645 hasConceptScore W1520236645C18903297 @default.
- W1520236645 hasConceptScore W1520236645C199343813 @default.
- W1520236645 hasConceptScore W1520236645C202444582 @default.
- W1520236645 hasConceptScore W1520236645C2318724 @default.
- W1520236645 hasConceptScore W1520236645C2524010 @default.
- W1520236645 hasConceptScore W1520236645C2777299769 @default.
- W1520236645 hasConceptScore W1520236645C2777686260 @default.
- W1520236645 hasConceptScore W1520236645C33923547 @default.
- W1520236645 hasConceptScore W1520236645C41008148 @default.
- W1520236645 hasConceptScore W1520236645C62073222 @default.
- W1520236645 hasConceptScore W1520236645C69562738 @default.
- W1520236645 hasConceptScore W1520236645C71924100 @default.
- W1520236645 hasConceptScore W1520236645C85343465 @default.
- W1520236645 hasConceptScore W1520236645C86803240 @default.
- W1520236645 hasConceptScore W1520236645C93682546 @default.
- W1520236645 hasLocation W15202366451 @default.
- W1520236645 hasOpenAccess W1520236645 @default.
- W1520236645 hasPrimaryLocation W15202366451 @default.
- W1520236645 hasRelatedWork W1484222275 @default.
- W1520236645 hasRelatedWork W1546261961 @default.
- W1520236645 hasRelatedWork W1822892179 @default.
- W1520236645 hasRelatedWork W1966944960 @default.
- W1520236645 hasRelatedWork W1999703197 @default.
- W1520236645 hasRelatedWork W1999807931 @default.
- W1520236645 hasRelatedWork W1999823887 @default.
- W1520236645 hasRelatedWork W2020595717 @default.
- W1520236645 hasRelatedWork W2033813295 @default.
- W1520236645 hasRelatedWork W203833057 @default.
- W1520236645 hasRelatedWork W2147302656 @default.
- W1520236645 hasRelatedWork W2148256560 @default.
- W1520236645 hasRelatedWork W2170954486 @default.
- W1520236645 hasRelatedWork W2280486416 @default.
- W1520236645 hasRelatedWork W2311584821 @default.
- W1520236645 hasRelatedWork W2533162327 @default.
- W1520236645 hasRelatedWork W2626436722 @default.
- W1520236645 hasRelatedWork W2790570514 @default.
- W1520236645 hasRelatedWork W55282291 @default.
- W1520236645 hasRelatedWork W1509743236 @default.
- W1520236645 isParatext "false" @default.
- W1520236645 isRetracted "false" @default.
- W1520236645 magId "1520236645" @default.
- W1520236645 workType "book-chapter" @default.