scientific article; zbMATH DE number 4045729

MaRDI QIDQ3783282zbMATHFDO

Authors D. I. Sviridenko, Vladimir Yu. Sazonov

Publication date 1986

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)

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

Cited in

(4)

• scientific article; zbMATH DE number 956830 (Why is no real title available?)
• scientific article; zbMATH DE number 4045728 (Why is no real title available?)
• \(f_ A\)-spaces
• Generatability of admissible sets

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)