FRINK Linked Data Fragments server

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

• W2119240423 endingPage "58" @default.
• W2119240423 startingPage "45" @default.
• W2119240423 abstract "Mathematical Logic QuarterlyVolume 27, Issue 2-6 p. 45-58 Article Functional Characters of Solvable Terms M. Coppo, M. Coppo Torino (Italy)Search for more papers by this authorM. Dezani-Ciancaglini, M. Dezani-Ciancaglini Torino (Italy)Search for more papers by this authorB. Venneri, B. Venneri Torino (Italy)Search for more papers by this author M. Coppo, M. Coppo Torino (Italy)Search for more papers by this authorM. Dezani-Ciancaglini, M. Dezani-Ciancaglini Torino (Italy)Search for more papers by this authorB. Venneri, B. Venneri Torino (Italy)Search for more papers by this author First published: 1981 https://doi.org/10.1002/malq.19810270205Citations: 121AboutPDF ToolsRequest permissionExport citationAdd to favoritesTrack citation ShareShare Give accessShare full text accessShare full-text accessPlease review our Terms and Conditions of Use and check box below to share full-text version of article.I have read and accept the Wiley Online Library Terms and Conditions of UseShareable LinkUse the link below to share a full-text version of this article with your friends and colleagues. Learn more.Copy URL References 1 Coppo, M., and M. Dezani-Ciancaglini, A new type assignment for Λ-terms. Archiv Math. Logik Grundlagenforschung 19 (1978), 139– 156. 2 Coppo, M., M. Dezani-Ciancaglini, and P. Salle, Functional characterization of some semantic equalitites inside Λ-calculus. In: Automata, Languages and Programming, ed. E. MAURER, Lecture Notes in Computer Science 71 (1979), 133– 146. 3 Coppo, M., and M. Dezani-Ciancaglini, An extension of basic functionality theory for Λ-calculus. Notre Dame J. Formal Logic 21 (1980), 685– 693. 4 Coppo, M., M. Dezani-Ciancaglini, and B. Venneri, Principal type schemes and Λ-calculus semantics. In: To H. B. Curry. Essays in Combinatory Logic, Lambda-calculus and Formalism, eds. R. Hindley and J. P. Seldin, Academic Press 1980, 535– 560. 5 Curry, H. B., Modified basic functionality in combinatory logic. Dialectica 23 (1969), 83– 92. 6 Curry, H. B., and R. Feys, Combinatory Logic, Vol. 1. North-Holland Publ. Comp., Amsterdam 1958. 7 Curry, H. B., R. Hindley, and J. P. Seldin, Combinatory Logic, Vol. 2. North-Holland Publ. Comp., Amsterdam 1972. 8 Gentzen, G., Investigations into logical deduction. In: The Collected Papers of Gerhard Gentzen, North-Holland Publ. Comp., Amsterdam 1969. 9 Hindley, R., The principal type scheme of an object in combinatory logic. Trans. Amer. Math. Soc. 146 (1969), 29– 60. 10 Hindley, R., and G. Longo, Lambda calculus models and extensionality. This Zeitschr. 26 (1980), 289– 310. 11 Morris, J. H., Λ-calculus models of programming languages. Ph. D. Thesis, MIT, Cambridge 1968. 12 Salle, P., Une extension de la théorie des types en Λ-calcul. In: Automata, Languages and Programming, eds. G. Ausiello and C. Böhm, Lecture Notes in Computer Science 62 (1978), 398– 410. 13 Scott, D., Data types as lattices. SIAM J. Comput. 5 (1976), 522– 578. 14 Seldin, J. P., The theory of generalized functionality I. Unpublished manuscript 1976. 15 Wadsworth, C. P., The relation between computational and denotational properties for Scott's D∞-Models of the lambda calculus. SIAM J. Comput. 5 (1976), 488– 521. Citing Literature Volume27, Issue2-61981Pages 45-58 ReferencesRelatedInformation" @default.
• W2119240423 created "2016-06-24" @default.
• W2119240423 creator A5006805009 @default.
• W2119240423 creator A5018907550 @default.
• W2119240423 creator A5053585862 @default.
• W2119240423 date "1981-01-01" @default.
• W2119240423 modified "2023-09-27" @default.
• W2119240423 title "Functional Characters of Solvable Terms" @default.
• W2119240423 cites W138735973 @default.
• W2119240423 cites W1563541698 @default.
• W2119240423 cites W1981303668 @default.
• W2119240423 cites W2034589435 @default.
• W2119240423 cites W2085670481 @default.
• W2119240423 cites W2184268586 @default.
• W2119240423 cites W4211265583 @default.
• W2119240423 cites W4249075482 @default.
• W2119240423 doi "https://doi.org/10.1002/malq.19810270205" @default.
• W2119240423 hasPublicationYear "1981" @default.
• W2119240423 type Work @default.
• W2119240423 sameAs 2119240423 @default.
• W2119240423 citedByCount "176" @default.
• W2119240423 countsByYear W21192404232012 @default.
• W2119240423 countsByYear W21192404232013 @default.
• W2119240423 countsByYear W21192404232014 @default.
• W2119240423 countsByYear W21192404232015 @default.
• W2119240423 countsByYear W21192404232016 @default.
• W2119240423 countsByYear W21192404232017 @default.
• W2119240423 countsByYear W21192404232018 @default.
• W2119240423 countsByYear W21192404232019 @default.
• W2119240423 countsByYear W21192404232020 @default.
• W2119240423 countsByYear W21192404232021 @default.
• W2119240423 countsByYear W21192404232022 @default.
• W2119240423 countsByYear W21192404232023 @default.
• W2119240423 crossrefType "journal-article" @default.
• W2119240423 hasAuthorship W2119240423A5006805009 @default.
• W2119240423 hasAuthorship W2119240423A5018907550 @default.
• W2119240423 hasAuthorship W2119240423A5053585862 @default.
• W2119240423 hasConcept C154945302 @default.
• W2119240423 hasConcept C161191863 @default.
• W2119240423 hasConcept C199343813 @default.
• W2119240423 hasConcept C199360897 @default.
• W2119240423 hasConcept C23123220 @default.
• W2119240423 hasConcept C2777686260 @default.
• W2119240423 hasConcept C2778805511 @default.
• W2119240423 hasConcept C41008148 @default.
• W2119240423 hasConcept C71924100 @default.
• W2119240423 hasConceptScore W2119240423C154945302 @default.
• W2119240423 hasConceptScore W2119240423C161191863 @default.
• W2119240423 hasConceptScore W2119240423C199343813 @default.
• W2119240423 hasConceptScore W2119240423C199360897 @default.
• W2119240423 hasConceptScore W2119240423C23123220 @default.
• W2119240423 hasConceptScore W2119240423C2777686260 @default.
• W2119240423 hasConceptScore W2119240423C2778805511 @default.
• W2119240423 hasConceptScore W2119240423C41008148 @default.
• W2119240423 hasConceptScore W2119240423C71924100 @default.
• W2119240423 hasIssue "2-6" @default.
• W2119240423 hasLocation W21192404231 @default.
• W2119240423 hasOpenAccess W2119240423 @default.
• W2119240423 hasPrimaryLocation W21192404231 @default.
• W2119240423 hasRelatedWork W2013111119 @default.
• W2119240423 hasRelatedWork W2047793074 @default.
• W2119240423 hasRelatedWork W2112962394 @default.
• W2119240423 hasRelatedWork W2118300983 @default.
• W2119240423 hasRelatedWork W2382501300 @default.
• W2119240423 hasRelatedWork W3137189469 @default.
• W2119240423 hasRelatedWork W3162240892 @default.
• W2119240423 hasRelatedWork W4235530921 @default.
• W2119240423 hasRelatedWork W4243252198 @default.
• W2119240423 hasRelatedWork W4245713008 @default.
• W2119240423 hasVolume "27" @default.
• W2119240423 isParatext "false" @default.
• W2119240423 isRetracted "false" @default.
• W2119240423 magId "2119240423" @default.
• W2119240423 workType "article" @default.