Livejournal
Log in
Post
Friends
My journal
roseandsigil
Yay!
Apr 10, 2008 16:47
Thing.
grad school
,
research
Leave a comment
Comments 4
twinofmunin
April 10 2008, 23:55:16 UTC
yay!
Reply
_tove
April 11 2008, 01:38:22 UTC
Okay, so this thing makes references to something called "Coq." Gustavo keeps talking how his research involves something called "LiNGAM." I don't think I can take much more of this with a straight face!
Reply
aleffert
April 11 2008, 02:43:13 UTC
Have you heard about Hoare logic?
Reply
susannahdon
April 11 2008, 02:55:11 UTC
huzzah!
Reply
Leave a comment
Up
Comments 4
Reply
Reply
Reply
Reply
Leave a comment