Classical Isomorphisms of Types

Mathematical Structures in Computer Science - United Kingdom
doi 10.1017/s0960129505004895
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

On Isomorphisms of Intersection Types

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

A Classical Sequent Calculus With Dependent Types

ACM Transactions on Programming Languages and Systems
Software
2019English

Isomorphisms of Trees

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1985English

Isomorphisms of Trees

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1985English

Isomorphisms of Group Algebras

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1966English

On the Gaudin Model Associated to Lie Algebras of Classical Types

Journal of Mathematical Physics
Nonlinear PhysicsMathematical PhysicsStatistical
2016English

Lie Isomorphisms of Primitive Rings

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1963English

Isomorphisms of Semigroups of Transformations

International Journal of Mathematics and Mathematical Sciences
Mathematics
1983English

Isomorphisms Between Endomorphism Rings of Modules

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1995English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy