Go to main menuGo to search engineSkip to content

Object's details: A categorical model of predicate linear logic

PDF
Go to the whole object's collection
Structure
Prace Naukowe Instytutu Matematyki i Informatyki=Scientific Research of the Institute of Mathematics and Computer Science.
See the description of publication group

Description

Object is located in the collections:

Additional information

  • Creation date: 2017-10-31
  • Last modification date: 2020-11-10
  • Content object's number of views: 103
  • You could also download the object's description in these formats:
    RDF
     ;
    OAI-PMH
  • Historical Text Recognition:
    start transcribing the object

See also

Coalgebras for modelling observable behavior of programs
Creator:Steingartner William; Novitzká Valerie
Date:2017
Type:artykuł
Between syntax and semantics of resource oriented logic for IDSbehavior description
Creator:Perhac Jan; Mihalui Daniel; Novitzka Valerie
Date:2016
Type:artykuł
Linear logic in computer science
Creator:Steingartner William; Polakova Andera; Praznak Peter; Novitzka Valerie
Date:2015
Type:czasopismo

Information on financing

The project is co-financed by the European Union from the European Regional Development Fund under the Regional Operational Program of the Silesian Voivodeship for the years 2014 - 2020 Silesian Digitarium. Digitization and access to the resources of cultural institutions of the Silesian Voivodeship.

Partner1
Partner1
We use files, through the cookie quality improvement layer of our website.For more information, please read the document Privacy Policy