Favicons?domain=homepages.inf.ed.achomepages.inf.ed.ac.uk

     
University of Edinburgh - Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency.

URLs from homepages.inf.ed.ac.uk:

URLhttp://homepages.inf.ed.ac.uk/rbf
Thumbnail of homepages.inf.ed.ac.uk
URLhttp://homepages.inf.ed.ac.uk/stark
Thumbnail of homepages.inf.ed.ac.uk
URLhttp://homepages.inf.ed.ac.uk/amos/hough.html
Thumbnail of homepages.inf.ed.ac.uk
URLhttp://homepages.inf.ed.ac.uk/jcb
Thumbnail of homepages.inf.ed.ac.uk
URLhttp://homepages.inf.ed.ac.uk/graeme
Thumbnail of homepages.inf.ed.ac.uk
URLhttp://homepages.inf.ed.ac.uk/cps
Thumbnail of homepages.inf.ed.ac.uk
URLhttp://homepages.inf.ed.ac.uk/s0450736/maxen...
Thumbnail of homepages.inf.ed.ac.uk
URLhttp://homepages.inf.ed.ac.uk/jmoore
Thumbnail of homepages.inf.ed.ac.uk
URLhttp://homepages.inf.ed.ac.uk/rni
Thumbnail of homepages.inf.ed.ac.uk
URLhttp://homepages.inf.ed.ac.uk/bundy
Thumbnail of homepages.inf.ed.ac.uk
URLhttp://homepages.inf.ed.ac.uk/rbf/BOOKS/BAND...
Thumbnail of homepages.inf.ed.ac.uk

URLhttp://homepages.inf.ed.ac.uk/alex
Thumbnail of homepages.inf.ed.ac.uk
URLhttp://homepages.inf.ed.ac.uk/als
Thumbnail of homepages.inf.ed.ac.uk
URLhttp://homepages.inf.ed.ac.uk/dts
Thumbnail of homepages.inf.ed.ac.uk
URLhttp://homepages.inf.ed.ac.uk/wadler/topics/...
Thumbnail of homepages.inf.ed.ac.uk
URLhttp://homepages.inf.ed.ac.uk/amos/belief.html
Thumbnail of homepages.inf.ed.ac.uk
URLhttp://homepages.inf.ed.ac.uk/rbf/CVonline/f...
Thumbnail of homepages.inf.ed.ac.uk

URLhttp://homepages.inf.ed.ac.uk/amos
Thumbnail of homepages.inf.ed.ac.uk
URLhttp://homepages.inf.ed.ac.uk/rbf/CVonline/
Thumbnail of homepages.inf.ed.ac.uk

URLhttp://homepages.inf.ed.ac.uk/wadler/topics/...
Thumbnail of homepages.inf.ed.ac.uk

Tweets about homepages.inf.ed.ac.uk

  • @missingfaktor Then you'll probably also love the paper it originated from: https://t.co/VGyXsVEawr
  • '… lambda calculus[,] should not only be known by aliens throughout our universe, but also throughout others.' :-)
  • Beneath a dry title … lurks an excellent and readable overview of something wonderful … 'Propositions as types'
  • (This is from Wadler's Propositions as Types paper, a historical overview of the said notion.
  • RT @isharacomix: Today I read "Mining source code repositories at massive scale using language modeling" #APaperEver…
  • c'est ça <3
  • RT @PhilipWadler: .@ctford @TimSweeneyEpic @psnively Propositions as Types now updated.
  • RT @shiatsumat: 多相ラムダ計算では帰納的ユニットは ∀a. (1 -> a) -> a ~= ∀a. a -> a で、余帰納的ユニットは ∃a. (a -> 1) * a ~= ∃a. a ~= ∀b. (∀a. a -> b) -> b のはず http:/…
  • 多相ラムダ計算では帰納的ユニットは ∀a. (1 -> a) -> a ~= ∀a. a -> a で、余帰納的ユニットは ∃a. (a -> 1) * a ~= ∃a. a ~= ∀b. (∀a. a -> b) -> b のはず