Amanote Research

Amanote Research

    RegisterSign In

A Syntactic and Functional Correspondence Between Reduction Semantics and Reduction-Free Full Normalisers

doi 10.1145/2426890.2426911
Full Text
Open PDF
Abstract

Available in full text

Date

January 1, 2013

Authors
Álvaro García-PérezPablo Nogueira
Publisher

ACM Press


Related search

A Type-Theoretical Reduction of Morphological, Syntactic and Semantic Compositionality to a Single Level of Description

2019English

Functional Reduction of Feynman Integrals

Journal of High Energy Physics
High Energy PhysicsNuclear
2019English

Interplay Between Syntax and Semantics During Sentence Comprehension: ERP Effects of Combining Syntactic and Semantic Violations

Journal of Cognitive Neuroscience
Cognitive Neuroscience
2003English

A Full Characterization of Nash Implementation With Strategy Space Reduction

SSRN Electronic Journal
2011English

Metal-Free Reduction of CO 2

Current Opinion in Green and Sustainable Chemistry
ManagementMonitoringWaste ManagementDisposalLawProcess ChemistryPolicyCatalysisChemistryTechnology
2017English

Reduction of Islands in Full-Pressure Stellarator Equilibria

2001English

Carbon Protection and Fire Risk Reduction: Toward a Full Accounting of Forest Carbon Offsets

Frontiers in Ecology and the Environment
EvolutionEcologySystematicsBehavior
2008English

Hazards and Glitch Power Reduction of CMOS Full Adder in 90nm Technology

CVR Journal of Science & Technology
2014English

Hazards and Glitch Power Reduction of CMOS Full Adder in 90nm Technology

CVR Journal of Science & Technology
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy