LOGCOM 2010 - PDF Preprint Papers

LOGCOM 2010

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed LOGCOM-2010 Paper

click to vote

LOGCOM
2010

158views more LOGCOM 2010»

Applying Universal Algebra to Lambda Calculus

13 years 3 months ago

Download www.dsi.unive.it

The aim of this paper is double. From one side we survey the knowledge we have acquired these last ten years about the lattice of all λ-theories (= equational extensions of untype...

Giulio Manzonetto, Antonino Salibra

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	158	Applying Universal Algebra to Lambda Calculus	claim
2	154	Collaborative Runtime Verification with Tracematches	claim
3	152	Constructive Logic with Strong Negation as a Substructural Logic	claim
4	143	Vietoris Bisimulations	claim
5	136	Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic	claim
6	135	Bases of Admissible Rules of Lukasiewicz Logic	claim
7	128	Answer Set Programming with Resources	claim
8	128	Comparing LTL Semantics for Runtime Verification	claim
9	124	Analytic Methods for the Logic of Proofs	claim
10	123	The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation	claim
11	120	Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics	claim
12	120	Paraconsistent Machines and their Relation to Quantum Computing	claim
13	114	Admissible Rules of Lukasiewicz Logic	claim
14	104	Herbrand's Theorem, Skolemization and Proof Systems for First-Order Lukasiewicz Logic	claim
15	102	A Note on Expressive Coalgebraic Logics for Finitary Set Functors	claim
16	96	The Complexity of the Warranted Formula Problem in Propositional Argumentation	claim
17	88	Tableaux for Public Announcement Logic	claim
18	87	Exemplaric Expressivity of Modal Logics	claim
19	85	The Logic of Quasi-MV Algebras	claim
20	83	Syllogistic Logics with Verbs	claim
21	82	Deduction Systems for Coalgebras Over Measurable Spaces	claim
22	80	Differential-algebraic Dynamic Logic for Differential-algebraic Programs	claim
23	77	Rule Systems for Run-time Monitoring: from Eagle to RuleR	claim
24	75	A Proof System for Abstract Non-interference	claim
25	64	Presentation of Set Functors: A Coalgebraic Perspective	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers