scientific article; zbMATH DE number 4045729

zbMATH Open0642.03028MaRDI QIDQ3783282FDOQ3783282

Authors: D. I. Sviridenko, Vladimir Yu. Sazonov 

Publication date: 1986

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 4045728
• Publication:3472084
• scientific article; zbMATH DE number 3956413
• A denotational semantics of \(LC2\)
• scientific article; zbMATH DE number 3909726
• scientific article; zbMATH DE number 4045109
• Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\)
• A symbolic semantics for the \(\pi\)-calculus
• Semantics of linear/modal lambda calculus
• Semantics of a relational \(\lambda\)-calculus

zbMATH Keywords

denotational semanticsadmissible setsunification principlerecursively enumerable sets over a constructive modelSigma-expressions

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Abstract data types; algebraic specification (68Q65) Applications of computability and recursion theory (03D80) Abstract and axiomatic computability and recursion theory (03D75) Logic on admissible sets (03C70)

Cited In (4)

• Title not available (Why is that?)
• Generatability of admissible sets
• Title not available (Why is that?)
• \(f_ A\)-spaces

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 Q3783282)