Matches in SemOpenAlex for { <https://semopenalex.org/work/W1508540111> ?p ?o ?g. }
- W1508540111 abstract "We study the properties, in particular termination, of dependent types systems for lambda calculus and rewriting." @default.
- W1508540111 created "2016-06-24" @default.
- W1508540111 creator A5008794714 @default.
- W1508540111 date "2006-10-11" @default.
- W1508540111 modified "2023-09-28" @default.
- W1508540111 title "Type theory and rewriting" @default.
- W1508540111 cites W107542622 @default.
- W1508540111 cites W131652989 @default.
- W1508540111 cites W145869046 @default.
- W1508540111 cites W1483170865 @default.
- W1508540111 cites W1499474569 @default.
- W1508540111 cites W1505627668 @default.
- W1508540111 cites W1509700448 @default.
- W1508540111 cites W1513590676 @default.
- W1508540111 cites W1538130752 @default.
- W1508540111 cites W1542795482 @default.
- W1508540111 cites W1560253649 @default.
- W1508540111 cites W1581378641 @default.
- W1508540111 cites W1583295953 @default.
- W1508540111 cites W1589398330 @default.
- W1508540111 cites W1590612822 @default.
- W1508540111 cites W1595139175 @default.
- W1508540111 cites W1595372275 @default.
- W1508540111 cites W159715351 @default.
- W1508540111 cites W1600225367 @default.
- W1508540111 cites W1603543937 @default.
- W1508540111 cites W1714491813 @default.
- W1508540111 cites W1782035928 @default.
- W1508540111 cites W1819548404 @default.
- W1508540111 cites W18425853 @default.
- W1508540111 cites W187110443 @default.
- W1508540111 cites W1901068688 @default.
- W1508540111 cites W1912531729 @default.
- W1508540111 cites W1949275316 @default.
- W1508540111 cites W1963631461 @default.
- W1508540111 cites W1975808446 @default.
- W1508540111 cites W1986402635 @default.
- W1508540111 cites W1999683854 @default.
- W1508540111 cites W2006620395 @default.
- W1508540111 cites W2011273500 @default.
- W1508540111 cites W2012355197 @default.
- W1508540111 cites W2017284475 @default.
- W1508540111 cites W2031678037 @default.
- W1508540111 cites W2044646445 @default.
- W1508540111 cites W2044758536 @default.
- W1508540111 cites W2056774266 @default.
- W1508540111 cites W2063805449 @default.
- W1508540111 cites W2064236106 @default.
- W1508540111 cites W2077592849 @default.
- W1508540111 cites W2080725351 @default.
- W1508540111 cites W2082162654 @default.
- W1508540111 cites W2086054252 @default.
- W1508540111 cites W2086747974 @default.
- W1508540111 cites W2091036953 @default.
- W1508540111 cites W2095335078 @default.
- W1508540111 cites W2098726192 @default.
- W1508540111 cites W2099089064 @default.
- W1508540111 cites W2113585688 @default.
- W1508540111 cites W2120300141 @default.
- W1508540111 cites W2124729849 @default.
- W1508540111 cites W2134287022 @default.
- W1508540111 cites W2143940368 @default.
- W1508540111 cites W2147207605 @default.
- W1508540111 cites W2147234020 @default.
- W1508540111 cites W2149837936 @default.
- W1508540111 cites W2158246161 @default.
- W1508540111 cites W2159159702 @default.
- W1508540111 cites W2166060774 @default.
- W1508540111 cites W2211325406 @default.
- W1508540111 cites W2290440408 @default.
- W1508540111 cites W2323378191 @default.
- W1508540111 cites W2398461955 @default.
- W1508540111 cites W2402296188 @default.
- W1508540111 cites W2912472557 @default.
- W1508540111 cites W2912818154 @default.
- W1508540111 cites W2915037921 @default.
- W1508540111 cites W2983730284 @default.
- W1508540111 cites W3135320517 @default.
- W1508540111 cites W54625895 @default.
- W1508540111 cites W569543113 @default.
- W1508540111 cites W1258827811 @default.
- W1508540111 cites W16307997 @default.
- W1508540111 cites W1679853627 @default.
- W1508540111 hasPublicationYear "2006" @default.
- W1508540111 type Work @default.
- W1508540111 sameAs 1508540111 @default.
- W1508540111 citedByCount "1" @default.
- W1508540111 crossrefType "posted-content" @default.
- W1508540111 hasAuthorship W1508540111A5008794714 @default.
- W1508540111 hasConcept C154690210 @default.
- W1508540111 hasConcept C18903297 @default.
- W1508540111 hasConcept C199360897 @default.
- W1508540111 hasConcept C2777299769 @default.
- W1508540111 hasConcept C41008148 @default.
- W1508540111 hasConcept C86803240 @default.
- W1508540111 hasConceptScore W1508540111C154690210 @default.
- W1508540111 hasConceptScore W1508540111C18903297 @default.
- W1508540111 hasConceptScore W1508540111C199360897 @default.
- W1508540111 hasConceptScore W1508540111C2777299769 @default.
- W1508540111 hasConceptScore W1508540111C41008148 @default.