Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Kristoffer H. Rose

Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Related publications

Explaining the Lazy Krivine Machine Using Explicit Substitution and Addresses

Higher-Order and Symbolic Computation

English

Modeling Domain Knowledge Using Explicit Conceptualization

English

A System for Community Information Sharing Using the Weak Information Structures

Transactions of the Institute of Systems, Control and Information Engineers

English

Strategies for Neutralising Sexually Explicit Language

English

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

Biophysical Journal

English

Recursion and Double Recursion

Bulletin of the American Mathematical Society

English

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

English

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

Journal of Business Ethics

International Management

English

Strategies for Biomedical Software Management, Sharing, and Citation

English