Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-61756-6_99
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Explaining the Lazy Krivine Machine Using Explicit Substitution and Addresses

Higher-Order and Symbolic Computation
2007English

Modeling Domain Knowledge Using Explicit Conceptualization

IEEE Expert
1994English

A System for Community Information Sharing Using the Weak Information Structures

Transactions of the Institute of Systems, Control and Information Engineers
1998English

Strategies for Neutralising Sexually Explicit Language

2012English

Strategies for Model Reduction in DCA-Based Multibody Modeling of Biopolymers

Biophysical Journal
Biophysics
2013English

Recursion and Double Recursion

Bulletin of the American Mathematical Society
1948English

Weak Derandomization of Weak Algorithms: Explicit Versions of Yao's Lemma

2009English

Envisioning the ‘Sharing City’: Governance Strategies for the Sharing Economy

Journal of Business Ethics
ArtsManagementBusinessHumanitiesEconomicsInternational ManagementAccountingLawEconometrics
2019English

Strategies for Biomedical Software Management, Sharing, and Citation

2016English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy