Xavier Montillet

Latest

• Solvability in a polarized calculus
• Untyped polarized calculi
• Solvability in a polarized calculus
• Frame Type Theory
• Open call-by-push-value
• Untyped polarized calculi