Amanote Research

Amanote Research

    RegisterSign In

Higher-Order Chemical Programming Style

Lecture Notes in Computer Science - Germany
doi 10.1007/11527800_7
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer ScienceTheoretical Computer Science
Date

January 1, 2005

Authors
J. -P. BanâtreP. FradetY. Radenac
Publisher

Springer Berlin Heidelberg


Related search

Higher-Order Type-Level Programming in Haskell

Proceedings of the ACM on Programming Languages
2019English

Mechanizing Programming Logics in Higher Order Logic

1989English

Scaling Database Languages to Higher-Order Distributed Programming

1995English

Implementing Type Theory in Higher Order Constraint Logic Programming

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2019English

Higher-Order Containers

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Higher-Order Uncertainty

2019English

Higher Order Operations

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1963English

Higher-Order Logic

1998English

Higher Order Crossings

1993English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy