Back to Results
First PageMeta Content
Models of computation / Mathematics / Lambda calculus / Symbol / Combinatory logic / Denotational semantics / Spectral theory of ordinary differential equations / Curry–Howard correspondence / Theoretical computer science / Logic in computer science / Applied mathematics


On the characterization of models of H ∗ Flavien Breuvart ∗ PPS, UMR 7126, Univ Paris Diderot, LIPN, UMR 7030, Univ Paris Nord, Sorbonne Paris Cit´e Abstract
Add to Reading List

Document Date: 2014-05-14 11:54:52

Open Document

File Size: 181,10 KB

Share Result on Facebook

City

London / Paris / /

Company

Oxford University Press / Uk co / SIAM Journal / D. / Un co / BT / POPL / Computer Science Logic / /

/

Event

FDA Phase / /

Facility

A stable / /

IndustryTerm

empty product / crucial tool / non well-founded chain / /

Organization

French ANR / Oxford University / /

Person

R. Della Rocca / Antonino Salibra / Ellis Horwood / Sewell / Bezem / Antonio Bucciarelli / Michele Pagani / Thomas Ehrhard / Giulio Manzonetto / /

Position

editor / head diverges / model for concurrent lambda-calculus / /

Product

Lemma 5 / U1 / /

ProgrammingLanguage

C / /

PublishedMedium

SIAM Journal on Computing / Theoretical Computer Science / Electronic Notes in Theoretical Computer Science / Lecture Notes in Computer Science / /

Technology

Dom / /

SocialTag