Adrien Ragot

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Piecewise Linear

Transfer Function

Directional Derivatives

Quantitative Evaluation

Top Venues

Publications

Adrien Ragot, Thomas Seiller, Lorenzo Tortora de Falco
Linear Realisability Over Nets and Second Order Quantification (short paper). ICTCS (2023)