Matches in SemOpenAlex for { <https://semopenalex.org/work/W1488740219> ?p ?o ?g. }
- W1488740219 endingPage "97" @default.
- W1488740219 startingPage "45" @default.
- W1488740219 abstract "<!-- *** Custom HTML *** --> This paper is an introduction to intersection type disciplines, with the aim of illustrating their theoretical relevance in the foundations of $lambda$-calculus. We start by describing the well-known results showing the deep connection between intersection type systems and normalization properties, i.e., their power of naturally characterizing solvable, normalizing, and strongly normal- izing pure $lambda$-terms. We then explain the importance of intersection types for the semantics of $lambda$-calculus, through the construction of filter models and the representation of algebraic lattices. We end with an original result that shows how intersection types also allow to naturally characterize tree representations of unfoldings of $lambda$-terms (Böohm trees)." @default.
- W1488740219 created "2016-06-24" @default.
- W1488740219 creator A5003588595 @default.
- W1488740219 creator A5020561481 @default.
- W1488740219 creator A5053585862 @default.
- W1488740219 date "1998-01-01" @default.
- W1488740219 modified "2023-10-03" @default.
- W1488740219 title "Intersection Types, $lambda$-models, and Böhm Trees" @default.
- W1488740219 cites W11030176 @default.
- W1488740219 cites W139832361 @default.
- W1488740219 cites W1487107818 @default.
- W1488740219 cites W1499149072 @default.
- W1488740219 cites W1508664008 @default.
- W1488740219 cites W1508807075 @default.
- W1488740219 cites W1520236645 @default.
- W1488740219 cites W1532487911 @default.
- W1488740219 cites W1536162326 @default.
- W1488740219 cites W1544564247 @default.
- W1488740219 cites W1551782573 @default.
- W1488740219 cites W1563541698 @default.
- W1488740219 cites W1585277395 @default.
- W1488740219 cites W1664039672 @default.
- W1488740219 cites W1755529721 @default.
- W1488740219 cites W1964383531 @default.
- W1488740219 cites W1970227944 @default.
- W1488740219 cites W1973312452 @default.
- W1488740219 cites W1976958863 @default.
- W1488740219 cites W1979206410 @default.
- W1488740219 cites W1979614647 @default.
- W1488740219 cites W1988432838 @default.
- W1488740219 cites W1990370351 @default.
- W1488740219 cites W1990607696 @default.
- W1488740219 cites W1994139214 @default.
- W1488740219 cites W2010274553 @default.
- W1488740219 cites W2014351883 @default.
- W1488740219 cites W2022290763 @default.
- W1488740219 cites W2028965656 @default.
- W1488740219 cites W2038174684 @default.
- W1488740219 cites W2040064689 @default.
- W1488740219 cites W2064236106 @default.
- W1488740219 cites W2066155850 @default.
- W1488740219 cites W2085670481 @default.
- W1488740219 cites W2088735483 @default.
- W1488740219 cites W2088941870 @default.
- W1488740219 cites W2091240930 @default.
- W1488740219 cites W2098441419 @default.
- W1488740219 cites W2098607593 @default.
- W1488740219 cites W2102549858 @default.
- W1488740219 cites W2116636571 @default.
- W1488740219 cites W2119240423 @default.
- W1488740219 cites W2123812977 @default.
- W1488740219 cites W2127160476 @default.
- W1488740219 cites W2131435036 @default.
- W1488740219 cites W2139772363 @default.
- W1488740219 cites W2158244462 @default.
- W1488740219 cites W2166683168 @default.
- W1488740219 cites W2167904762 @default.
- W1488740219 cites W251991740 @default.
- W1488740219 cites W2614222376 @default.
- W1488740219 cites W2614590725 @default.
- W1488740219 cites W2914100823 @default.
- W1488740219 doi "https://doi.org/10.2969/msjmemoirs/00201c020" @default.
- W1488740219 hasPublicationYear "1998" @default.
- W1488740219 type Work @default.
- W1488740219 sameAs 1488740219 @default.
- W1488740219 citedByCount "20" @default.
- W1488740219 countsByYear W14887402192012 @default.
- W1488740219 countsByYear W14887402192015 @default.
- W1488740219 countsByYear W14887402192017 @default.
- W1488740219 countsByYear W14887402192019 @default.
- W1488740219 crossrefType "book-chapter" @default.
- W1488740219 hasAuthorship W1488740219A5003588595 @default.
- W1488740219 hasAuthorship W1488740219A5020561481 @default.
- W1488740219 hasAuthorship W1488740219A5053585862 @default.
- W1488740219 hasBestOaLocation W14887402192 @default.
- W1488740219 hasConcept C113174947 @default.
- W1488740219 hasConcept C114614502 @default.
- W1488740219 hasConcept C118615104 @default.
- W1488740219 hasConcept C120665830 @default.
- W1488740219 hasConcept C121332964 @default.
- W1488740219 hasConcept C127413603 @default.
- W1488740219 hasConcept C135790938 @default.
- W1488740219 hasConcept C136119220 @default.
- W1488740219 hasConcept C136886441 @default.
- W1488740219 hasConcept C142156749 @default.
- W1488740219 hasConcept C144024400 @default.
- W1488740219 hasConcept C146978453 @default.
- W1488740219 hasConcept C18903297 @default.
- W1488740219 hasConcept C19165224 @default.
- W1488740219 hasConcept C199343813 @default.
- W1488740219 hasConcept C202444582 @default.
- W1488740219 hasConcept C2777299769 @default.
- W1488740219 hasConcept C2777686260 @default.
- W1488740219 hasConcept C2778113609 @default.
- W1488740219 hasConcept C33923547 @default.
- W1488740219 hasConcept C61237538 @default.
- W1488740219 hasConcept C64543145 @default.
- W1488740219 hasConcept C71924100 @default.