scientific article; zbMATH DE number 3062117
From MaRDI portal
Publication:5801329
Cited in
(28)- On the Finiteness of Free (Universal) Algebras
- Remarks on the modal logic of Henry Bradford Smith
- Formulae for well formed formulae and their enumeration
- H. B. Smith on modality: A logical reconstruction
- Functional Composition Patterns and Power Series Reversion
- Canonical systems which produce periodic sets
- Extended Canonical Systems
- Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors
- On the mathematical foundations of \textit{Syntactic structures}
- Bijections between Łukasiewicz walks and generalized tandem walks
- Parking functions, valet functions and priority queues
- Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space
- An algebraic synthesis of the foundations of logic and probability
- Regular canonical systems
- The existence and construction of free iterative theories
- Isols and generalized Boolean algebras
- scientific article; zbMATH DE number 3514943 (Why is no real title available?)
- Ideals and their structure in classes of operational algebras
- A Logical Autobiography
- An existence theorem for functionally complete universal algebras
- Conceptual Confluence in 1936: Post and Turing
- Quelques classes de problèmes extrémaux. II
- Towards a historical notion of `Turing -- the father of computer science'
- N-ary selection functions and formal selective systems. I
- The lambda-gamma calculus: A language adequate for defining recursive functions
- Zur Stufenreduktion von Kalkülen
- A semigroup in function algebra
- Principio di estensionalita nel calcolo dei combinatori
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5801329)
