FRINK Linked Data Fragments server

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

• W1554278997 startingPage "208" @default.
• W1554278997 abstract "Cours de lambda-calcul. Definition, beta-reduction et confluence. Representation des fonctions recursives. Modeles du lambda-calcul Logique combinatoire Types, systeme F" @default.
• W1554278997 created "2016-06-24" @default.
• W1554278997 creator A5001588966 @default.
• W1554278997 date "1993-01-02" @default.
• W1554278997 modified "2023-10-18" @default.
• W1554278997 title "Lambda-calculus, types and models" @default.
• W1554278997 cites W1134781054 @default.
• W1554278997 cites W1501402401 @default.
• W1554278997 cites W1513579486 @default.
• W1554278997 cites W1523047387 @default.
• W1554278997 cites W1540909559 @default.
• W1554278997 cites W1543743138 @default.
• W1554278997 cites W1544564247 @default.
• W1554278997 cites W1551782573 @default.
• W1554278997 cites W1592287058 @default.
• W1554278997 cites W1594912681 @default.
• W1554278997 cites W159715351 @default.
• W1554278997 cites W1603543937 @default.
• W1554278997 cites W162931075 @default.
• W1554278997 cites W1649882873 @default.
• W1554278997 cites W1970227944 @default.
• W1554278997 cites W1976556784 @default.
• W1554278997 cites W1978069714 @default.
• W1554278997 cites W1978856319 @default.
• W1554278997 cites W1981303668 @default.
• W1554278997 cites W1986402635 @default.
• W1554278997 cites W1987091892 @default.
• W1554278997 cites W2012308246 @default.
• W1554278997 cites W2014182958 @default.
• W1554278997 cites W2046213250 @default.
• W1554278997 cites W2054969282 @default.
• W1554278997 cites W2072497723 @default.
• W1554278997 cites W2093541252 @default.
• W1554278997 cites W2095405219 @default.
• W1554278997 cites W2106718208 @default.
• W1554278997 cites W2128057448 @default.
• W1554278997 cites W2131435036 @default.
• W1554278997 cites W2149906577 @default.
• W1554278997 cites W2167904762 @default.
• W1554278997 cites W2313175711 @default.
• W1554278997 cites W2408171097 @default.
• W1554278997 cites W3003300928 @default.
• W1554278997 hasPublicationYear "1993" @default.
• W1554278997 type Work @default.
• W1554278997 sameAs 1554278997 @default.
• W1554278997 citedByCount "82" @default.
• W1554278997 countsByYear W15542789972012 @default.
• W1554278997 countsByYear W15542789972013 @default.
• W1554278997 countsByYear W15542789972015 @default.
• W1554278997 countsByYear W15542789972016 @default.
• W1554278997 countsByYear W15542789972017 @default.
• W1554278997 countsByYear W15542789972018 @default.
• W1554278997 countsByYear W15542789972019 @default.
• W1554278997 countsByYear W15542789972020 @default.
• W1554278997 countsByYear W15542789972021 @default.
• W1554278997 crossrefType "book" @default.
• W1554278997 hasAuthorship W1554278997A5001588966 @default.
• W1554278997 hasConcept C118615104 @default.
• W1554278997 hasConcept C120665830 @default.
• W1554278997 hasConcept C121332964 @default.
• W1554278997 hasConcept C135790938 @default.
• W1554278997 hasConcept C142156749 @default.
• W1554278997 hasConcept C199343813 @default.
• W1554278997 hasConcept C2777686260 @default.
• W1554278997 hasConcept C2778113609 @default.
• W1554278997 hasConcept C33923547 @default.
• W1554278997 hasConcept C41008148 @default.
• W1554278997 hasConcept C71924100 @default.
• W1554278997 hasConceptScore W1554278997C118615104 @default.
• W1554278997 hasConceptScore W1554278997C120665830 @default.
• W1554278997 hasConceptScore W1554278997C121332964 @default.
• W1554278997 hasConceptScore W1554278997C135790938 @default.
• W1554278997 hasConceptScore W1554278997C142156749 @default.
• W1554278997 hasConceptScore W1554278997C199343813 @default.
• W1554278997 hasConceptScore W1554278997C2777686260 @default.
• W1554278997 hasConceptScore W1554278997C2778113609 @default.
• W1554278997 hasConceptScore W1554278997C33923547 @default.
• W1554278997 hasConceptScore W1554278997C41008148 @default.
• W1554278997 hasConceptScore W1554278997C71924100 @default.
• W1554278997 hasLocation W15542789971 @default.
• W1554278997 hasOpenAccess W1554278997 @default.
• W1554278997 hasPrimaryLocation W15542789971 @default.
• W1554278997 hasRelatedWork W1527432636 @default.
• W1554278997 hasRelatedWork W1547926009 @default.
• W1554278997 hasRelatedWork W159715351 @default.
• W1554278997 hasRelatedWork W1970227944 @default.
• W1554278997 hasRelatedWork W1976958863 @default.
• W1554278997 hasRelatedWork W1981303668 @default.
• W1554278997 hasRelatedWork W2001822718 @default.
• W1554278997 hasRelatedWork W2002689571 @default.
• W1554278997 hasRelatedWork W2008920425 @default.
• W1554278997 hasRelatedWork W2016326123 @default.
• W1554278997 hasRelatedWork W2044758536 @default.
• W1554278997 hasRelatedWork W2085670481 @default.
• W1554278997 hasRelatedWork W2088979440 @default.
• W1554278997 hasRelatedWork W2132936218 @default.
• W1554278997 hasRelatedWork W2135287414 @default.
• W1554278997 hasRelatedWork W2149837936 @default.
• W1554278997 hasRelatedWork W2154273644 @default.

• next