With the proliferation of Deep Machine Learning into real-life applicati...
Verification of neural networks is currently a hot topic in automated th...
This paper introduces Hypersequent GV (HGV), a modular and extensible co...
Neural networks are known for their ability to detect general patterns i...
Priority Sesh is a library for session-typed communication in Linear Has...
Binary session types guarantee communication safety and session fidelity...
We describe a design for generics in Go inspired by previous work on
Fea...
Process calculi based in logic, such as πDILL and CP, provide a
foundati...
Rusty Variation (RV) is a library for session-typed communication in Rus...
Process calculi based on logic, such as πDILL and CP, provide a
foundati...
We present Hypersequent Classical Processes (HCP), a revised interpretat...
In recent years, the interest in using proof assistants to formalise and...