Discover open access scientific publications

Search, annotate, share and cite publications

Publications by OLIVIER LAURENT

Classical Isomorphisms of Types

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2005English

Related publications

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

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

Privacy PolicyRefund Policy