scientific article

From MaRDI portal

Publication:3792666

Jump to:navigation, search

zbMath0648.03022MaRDI QIDQ3792666

Maurizio Negri

Publication date: 1987

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

zbMATH Keywords

transitive relation combinatory logic interactions of perpetual processes Ło's theorem

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Ultraproducts and related constructions (03C20) Combinatory logic and lambda calculus (03B40)

This page was built for publication:

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