Home

I.__Cervesato


A meta-notation for protocol analysis

Interpreting strands in linear logic

Logic Meta-Programming Facilities in 'Log