Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by SILVIA GHILEZAN
Lambda Terms for Natural Deduction, Sequent Calculus and Cut Elimination
Journal of Functional Programming
Software
Related publications
On Some Relations Between Natural Deduction and Sequent Calculus
Towards a Cut-Free Sequent Calculus for Boolean BI
A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Lambda Calculus for Quantum Computation
SIAM Journal on Computing
Mathematics
Computer Science
A Classical Sequent Calculus With Dependent Types
ACM Transactions on Programming Languages and Systems
Software
Strict Intersection Types for the Lambda Calculus
ACM Computing Surveys
Computer Science
Theoretical Computer Science
Storage Operators and Directed Lambda-Calculus
Journal of Symbolic Logic
Philosophy
Logic
Natural Deduction for Hybrid Logic
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Continuity and Discontinuity in Lambda Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
