Nina Bohr and Proof - Free people check

(1 - 7 from 7

)

Proof Theory Mailing List

people.bath.ac.uk

Nina Bohr; Thomas Bolander · Eduardo Bonelli · Gérard Boudol · Torben Braüner · Sabine Broda ...

Programming Languages and Systems | SpringerLink

link.springer.com

Nina Bohr, Lars Birkedal. Look Inside Get Access. Book Chapter. Pages Proof Abstraction for Imperative Languages. William L. Harrison. Look Inside Get Access.

[Haskell] Call for Participation: APLAS'06

www.mail-archive.com

Wed, 04 Oct :52: research by providing a forum for the ... for Recursive Types and References Nina Bohr and Lars Birkedal Proof Abstraction ...

All web results to the name "Nina Bohr"

XPLORE Library Catalog

xplore.xavier.edu

Relational reasoning for recursive types and references / Nina Bohr, Lars Birkedal, 79. Proof abstraction for imperative languages / William L. Harrison, 97.

[Haskell] Call for Participation: APLAS'06

mail.haskell.org

Next message: [Haskell] A Funded Ph.D Position in Durham ... for Recursive Types and References Nina Bohr and Lars Birkedal Proof Abstraction ...

Gmane -- Mail To News And Back Again

article.gmane.org

Date: :52:12 GMT (3 years, 8 weeks, 5 days, 10 hours and for Recursive Types and References Nina Bohr and Lars Birkedal Proof Abstraction ...

[TYPES/announce] APLAS Call for Particiaption

lists.seas.upenn.edu

Next message: [TYPES/announce] Position preannouncement at ENS Lyon ... for Recursive Types and References Nina Bohr and Lars Birkedal Proof Abstraction ...

Related search requests for Nina Bohr

Lars Birkedal
Naoki Kobayashi

People
Forename "Nina" (26104)
Name "Bohr" (322)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Nina Bohr and Proof Free People Check