FRINK Linked Data Fragments server

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

• W1871639095 endingPage "41" @default.
• W1871639095 startingPage "1" @default.
• W1871639095 abstract "Functional programming languages often feature mechanisms that involve complex computations at the level of types. These mechanisms can be analyzed uniformly in the framework of dependent types, in which types may depend on values. The purpose of this chapter is to give some background for such an analysis.We present here precise theorems, that should hopefully help the reader to understand to which extent statements like “introducing dependent types in a programming language implies that type checking is undecidable”, are justified." @default.
• W1871639095 created "2016-06-24" @default.
• W1871639095 creator A5075577852 @default.
• W1871639095 creator A5087100539 @default.
• W1871639095 date "2002-01-01" @default.
• W1871639095 modified "2023-09-23" @default.
• W1871639095 title "An Introduction to Dependent Type Theory" @default.
• W1871639095 cites W1196275239 @default.
• W1871639095 cites W123923308 @default.
• W1871639095 cites W124942006 @default.
• W1871639095 cites W1481088546 @default.
• W1871639095 cites W1488210308 @default.
• W1871639095 cites W1489250027 @default.
• W1871639095 cites W1498439614 @default.
• W1871639095 cites W1503362807 @default.
• W1871639095 cites W1520044007 @default.
• W1871639095 cites W1527145237 @default.
• W1871639095 cites W1528995598 @default.
• W1871639095 cites W1550418550 @default.
• W1871639095 cites W1568140005 @default.
• W1871639095 cites W1569250084 @default.
• W1871639095 cites W1575338750 @default.
• W1871639095 cites W1578113853 @default.
• W1871639095 cites W1579817075 @default.
• W1871639095 cites W1589260337 @default.
• W1871639095 cites W1589398330 @default.
• W1871639095 cites W1594279870 @default.
• W1871639095 cites W1601239300 @default.
• W1871639095 cites W1602419232 @default.
• W1871639095 cites W1608751598 @default.
• W1871639095 cites W1647170492 @default.
• W1871639095 cites W1829244603 @default.
• W1871639095 cites W1834021050 @default.
• W1871639095 cites W18425853 @default.
• W1871639095 cites W1949275316 @default.
• W1871639095 cites W1963240911 @default.
• W1871639095 cites W1971128176 @default.
• W1871639095 cites W1974190112 @default.
• W1871639095 cites W1977621403 @default.
• W1871639095 cites W1986402635 @default.
• W1871639095 cites W1989916808 @default.
• W1871639095 cites W1995675054 @default.
• W1871639095 cites W2003295197 @default.
• W1871639095 cites W2003298503 @default.
• W1871639095 cites W2005192022 @default.
• W1871639095 cites W2011273500 @default.
• W1871639095 cites W2014889169 @default.
• W1871639095 cites W2027048725 @default.
• W1871639095 cites W2027584005 @default.
• W1871639095 cites W2031678037 @default.
• W1871639095 cites W2033763204 @default.
• W1871639095 cites W2034711041 @default.
• W1871639095 cites W2035324774 @default.
• W1871639095 cites W2039123207 @default.
• W1871639095 cites W2047170808 @default.
• W1871639095 cites W2058137890 @default.
• W1871639095 cites W2058174669 @default.
• W1871639095 cites W2066550846 @default.
• W1871639095 cites W2081325813 @default.
• W1871639095 cites W2090046646 @default.
• W1871639095 cites W2093576032 @default.
• W1871639095 cites W2104204098 @default.
• W1871639095 cites W2108885830 @default.
• W1871639095 cites W2114958714 @default.
• W1871639095 cites W2115699102 @default.
• W1871639095 cites W2117245162 @default.
• W1871639095 cites W2119115849 @default.
• W1871639095 cites W2120300141 @default.
• W1871639095 cites W2122703262 @default.
• W1871639095 cites W2123727486 @default.
• W1871639095 cites W2127600624 @default.
• W1871639095 cites W2133639043 @default.
• W1871639095 cites W2134435552 @default.
• W1871639095 cites W2153779401 @default.
• W1871639095 cites W2160283637 @default.
• W1871639095 cites W2160829153 @default.
• W1871639095 cites W2162919535 @default.
• W1871639095 cites W2166822586 @default.
• W1871639095 cites W2168254994 @default.
• W1871639095 cites W2171496589 @default.
• W1871639095 cites W2398461955 @default.
• W1871639095 cites W2402296188 @default.
• W1871639095 cites W3015747443 @default.
• W1871639095 cites W3019138974 @default.
• W1871639095 cites W3023993646 @default.
• W1871639095 cites W3090126643 @default.
• W1871639095 cites W3162919972 @default.
• W1871639095 cites W40661913 @default.
• W1871639095 cites W4213279211 @default.
• W1871639095 cites W4233310630 @default.
• W1871639095 cites W4233557563 @default.
• W1871639095 cites W4237407359 @default.
• W1871639095 cites W4241008316 @default.
• W1871639095 cites W4243054153 @default.
• W1871639095 cites W4248352158 @default.
• W1871639095 cites W4252024908 @default.
• W1871639095 cites W4252656082 @default.
• W1871639095 doi "https://doi.org/10.1007/3-540-45699-6_1" @default.

• next