Back to Results
First PageMeta Content



Coinitial semantics for redecoration of triangular matrices Benedikt Ahrens and Régis Spadotti Institut de Recherche en Informatique de Toulouse Université Paul Sabatier, Toulouse
Add to Reading List

Document Date: 2014-11-18 15:29:15

Open Document

File Size: 251,53 KB

Share Result on Facebook

City

Washington / DC / /

Country

United States / /

IndustryTerm

project web page / /

Organization

Régis Spadotti Institut de Recherche / Center for the Study of Languages and Information / IEEE Computer Society / /

Person

Marco Maggesi / Nils Anders / Bengt Nordström / Daniele Turi / Régis Spadotti / Ralph Matthes / André Hirschowitz / Marcelo Fiore / Anders Danielsson / Coq / Gordon Plotkin / Benedikt Ahrens / Paul Sabatier / Peter Aczel / Celia Picard / /

Position

proof assistant / /

ProgrammingLanguage

DC / HTML / /

Technology

HTML / /

URL

http /

SocialTag