Comment on Language-theoretic SecurityparentComments−noblethrasher10yLangsec knows all about type theory:See https://www.youtube.com/watch?v=3kEfedtQVOY&feature=youtu.be... (about 90 seconds)n.b. that Merideth Patterson, the speaker in that video, is one of the original authors of langsec.−lmeyerov10yI think that clip supports my statement.
Comments
Langsec knows all about type theory:
See https://www.youtube.com/watch?v=3kEfedtQVOY&feature=youtu.be... (about 90 seconds)
n.b. that Merideth Patterson, the speaker in that video, is one of the original authors of langsec.
I think that clip supports my statement.