Term-generic logic

descriptionPublicationkeyboard_double_arrow_right Article , Part of book or chapter of book , Conference object , Report 01 Jan 2009 United Kingdom, United States English Publisher:Elsevier BVJournal:Theoretical Computer Science, volume 577, pages 1-24 (issn: 0304-3975,

Copyright policy )

Authors: Popescu, A.; Roşu, G.;

doi: 10.1016/j.tcs.2015.01.047 , 10.1007/978-3-642-03429-9_19

handle: 2142/11513 , 2142/10791

Term-generic logic

- Summary
- Subjects
- Metrics

Abstract

zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Countries

United Kingdom, United States

Related Organizations

White Rose Consortium: University of Leeds; University of Sheffield; University of York
United Kingdom
University of Illinois at Urbana Champaign
United States
University of Illinois at Urbana–Champaign
United States
Middlesex University
Malta
Middlesex University
United Kingdom

View all View all

Keywords

logic, Logic in computer science, \(\pi\)-calculus, computer science, π-Calculus, \(\lambda\)-calculus, 004, Semantics, Computer Science, substitution, Combinatory logic and lambda calculus, λ-Calculus, Term-generic logic, Substitution, semantics, term-generic logic

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	7
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average