Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by BENOIT VALIRON
A Lambda Calculus for Quantum Computation With Classical Control
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Related publications
A Lambda Calculus for Quantum Computation
SIAM Journal on Computing
Mathematics
Computer Science
Dag-Calculus: A Calculus for Parallel Computation
Strong Normalization in a Typed Lambda Calculus With Lambda Structured Types
Studies in Logic and the Foundations of Mathematics
A Classical Sequent Calculus With Dependent Types
ACM Transactions on Programming Languages and Systems
Software
A Typed Lambda Calculus of Objects
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Computability via the Lambda Calculus With Patterns
Journal of Mathematics Research
A Lambda Calculus of Objects With Self-Inflicted Extension
ACM SIGPLAN Notices
Strict Intersection Types for the Lambda Calculus
ACM Computing Surveys
Computer Science
Theoretical Computer Science
Computation With Classical Sequents
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
