scientific article; zbMATH DE number 2061718

From MaRDI portal

Revision as of 04:51, 7 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4457466

Jump to:navigation, search

zbMath1041.03010MaRDI QIDQ4457466

A. John Power

Publication date: 22 March 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2701/27010301.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Generic models for computational effects

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4457466&oldid=18510975"