Back to Results
First PageMeta Content
Universal property / Lambda calculus / Functor / Combinatory logic / Initial algebra / Function / Equivalence of categories / Sheaf / Coproduct / Mathematics / Category theory / Abstract algebra


BRICS Basic Research in Computer Science BRICS RSL. Santocanale: A Calculus of Circular Proofs and its Categorical Semantics A Calculus of Circular Proofs and
Add to Reading List

Document Date: 2001-05-09 04:26:17

Open Document

File Size: 218,90 KB

Share Result on Facebook

Country

Denmark / /

/

Facility

Computer Science University of Aarhus / Computer Science University of Aarhus Ny Munkegade / /

IndustryTerm

telephone lines / vector solution / finite products / categorical products / possible asynchronous communications / /

Organization

Danish National Research Foundation / BRICS Department / University of Aarhus / Computer Science University of Aarhus Ny Munkegade / /

Person

Luigi Santocanale / /

/

Position

player / Mediator / /

ProgrammingLanguage

C / /

TVStation

I - TV / /

Technology

mediating protocols / mediating protocol / 2 mediating protocol / operating system / /

URL

ftp /

SocialTag