FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W18042495> ?p ?o ?g. }

• W18042495 abstract "This dissertation deals with constructive languages: languages for the formal expression of mathematical constructions. The concept of construction does not only encompass computations, as expressed in programming languages,but also propositions and proofs, as expressed in a mathematical logic, and in particular the construction of structured mathematical objects like sequences and trees. Types may be conceived of as classes of such objects, and inductive types are types whose objects are generated by production rules ... Zie: Summary" @default.
• W18042495 created "2016-06-24" @default.
• W18042495 creator A5041633247 @default.
• W18042495 date "1995-01-01" @default.
• W18042495 modified "2023-09-23" @default.
• W18042495 title "Inductive types in constructive languages" @default.
• W18042495 cites W101041027 @default.
• W18042495 cites W1196275239 @default.
• W18042495 cites W134953795 @default.
• W18042495 cites W137618863 @default.
• W18042495 cites W1485248037 @default.
• W18042495 cites W1488821670 @default.
• W18042495 cites W1500086158 @default.
• W18042495 cites W1504884872 @default.
• W18042495 cites W1508224656 @default.
• W18042495 cites W1511621732 @default.
• W18042495 cites W1512628190 @default.
• W18042495 cites W1522314550 @default.
• W18042495 cites W1526260980 @default.
• W18042495 cites W1527264439 @default.
• W18042495 cites W1531204726 @default.
• W18042495 cites W1536939176 @default.
• W18042495 cites W1539120745 @default.
• W18042495 cites W1543071126 @default.
• W18042495 cites W1543335981 @default.
• W18042495 cites W1544564247 @default.
• W18042495 cites W1545721382 @default.
• W18042495 cites W1557188094 @default.
• W18042495 cites W1561011284 @default.
• W18042495 cites W1564971179 @default.
• W18042495 cites W1580114217 @default.
• W18042495 cites W1581378641 @default.
• W18042495 cites W1587758675 @default.
• W18042495 cites W1591825827 @default.
• W18042495 cites W1602067282 @default.
• W18042495 cites W1602138115 @default.
• W18042495 cites W165446927 @default.
• W18042495 cites W1741698332 @default.
• W18042495 cites W1852211073 @default.
• W18042495 cites W1941990419 @default.
• W18042495 cites W1949275316 @default.
• W18042495 cites W1969682671 @default.
• W18042495 cites W1997029640 @default.
• W18042495 cites W2002097974 @default.
• W18042495 cites W2005917745 @default.
• W18042495 cites W2024873396 @default.
• W18042495 cites W2048019507 @default.
• W18042495 cites W2049362364 @default.
• W18042495 cites W2057292961 @default.
• W18042495 cites W2094023431 @default.
• W18042495 cites W2094931291 @default.
• W18042495 cites W2103898608 @default.
• W18042495 cites W2106718208 @default.
• W18042495 cites W2110425399 @default.
• W18042495 cites W2111697230 @default.
• W18042495 cites W2120713972 @default.
• W18042495 cites W2122063022 @default.
• W18042495 cites W2124729849 @default.
• W18042495 cites W2126730327 @default.
• W18042495 cites W2128057448 @default.
• W18042495 cites W2158086586 @default.
• W18042495 cites W2159085467 @default.
• W18042495 cites W2159159702 @default.
• W18042495 cites W2168025539 @default.
• W18042495 cites W2171781375 @default.
• W18042495 cites W2227350212 @default.
• W18042495 cites W2485224300 @default.
• W18042495 cites W2612400687 @default.
• W18042495 cites W2742270218 @default.
• W18042495 cites W2913926271 @default.
• W18042495 cites W2913989085 @default.
• W18042495 cites W2914837968 @default.
• W18042495 cites W3015550054 @default.
• W18042495 cites W3144368627 @default.
• W18042495 cites W326743114 @default.
• W18042495 cites W623765668 @default.
• W18042495 hasPublicationYear "1995" @default.
• W18042495 type Work @default.
• W18042495 sameAs 18042495 @default.
• W18042495 citedByCount "1" @default.
• W18042495 crossrefType "journal-article" @default.
• W18042495 hasAuthorship W18042495A5041633247 @default.
• W18042495 hasConcept C108710211 @default.
• W18042495 hasConcept C18903297 @default.
• W18042495 hasConcept C199360897 @default.
• W18042495 hasConcept C2524010 @default.
• W18042495 hasConcept C2777299769 @default.
• W18042495 hasConcept C2778701210 @default.
• W18042495 hasConcept C33923547 @default.
• W18042495 hasConcept C41008148 @default.
• W18042495 hasConcept C47884741 @default.
• W18042495 hasConcept C86803240 @default.
• W18042495 hasConcept C93682546 @default.
• W18042495 hasConcept C98045186 @default.
• W18042495 hasConceptScore W18042495C108710211 @default.
• W18042495 hasConceptScore W18042495C18903297 @default.
• W18042495 hasConceptScore W18042495C199360897 @default.
• W18042495 hasConceptScore W18042495C2524010 @default.
• W18042495 hasConceptScore W18042495C2777299769 @default.
• W18042495 hasConceptScore W18042495C2778701210 @default.

• next