About Me

vagston

vagston

  • Member since Mar 18, 2008
  • United States
  • Stay in touch with me. Join Now

Recently added to this blog

  • MyDesktop

Tiny proof assistant in Clean without Curry-Howard Isomorphism

Tiny proof assistant in Clean using Curry-Howard Isomorphism

Tiny proof assistant in Clean using Curry-Howard Isomorphism

View vagston’s Posts, Photos, Audio, Videos, Books or Links.

Recent Comments

math
math said:
[this is good]
Right. People learn from histories, from unexpected applications, from generalizing outside their specialties, from turning mechanisms into fascinations. Your title... read more
on Fascinating excursion in monads history
vagston
vagston said:
All this computational monadology and all that may be abstracted from it in any way makes no sense for commonality,... read more
on Fascinating excursion in monads history
math
math said:
By the way, my interest is from computational linguistics. read more
on Fascinating excursion in monads history
math
math said:
[this is good]
My reaction to your post was that there is something there and I would love to hear what it is.... read more
on Fascinating excursion in monads history