Projects funded by the NCN


Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Theoretical foundations of interactive theorem provers with unrestricted recursive definitions

2012/07/N/ST6/03398

Keywords:

interactive theorem provers illative combinatory logic lambda calculus program verification

Descriptors:

  • ST6_4: Formal methods, foundations of computer science, including theoretical computer science, quantum algorithms
  • ST1_1: Logic and foundations
  • ST1_15: Mathematical aspects of computer science

Panel:

ST6 - Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems

Host institution :

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

woj. mazowieckie

Other projects carried out by the institution 

Principal investigator (from the host institution):

Łukasz Czajka 

Number of co-investigators in the project: 2

Call: PRELUDIUM 4 - announced on 2012-09-15

Amount awarded: 86 600 PLN

Project start date (Y-m-d): 2013-07-11

Project end date (Y-m-d): 2016-01-10

Project duration:: 30 months (the same as in the proposal)

Project status: Project settled

Equipment purchased [PL]

  1. komputer przenośny (6 000 PLN)

Information in the final report

  • Articles in post-conference publications (3)
  1. A coinductive confluence proof for infinitary lambda-calculus.
    Authors:
    Łukasz Czajka
    Conference:
    RTA-TLCA 2014 (rok: 2014, ), Wydawca: Springer
    Data:
    konferencja 14-17.07.2014
    Status:
    Published
  2. Confluence of an extension of Combinatory Logic by Boolean constants
    Authors:
    Łukasz Czajka
    Conference:
    FSCD 2017 (rok: 2017, ), Wydawca: LIPIcs
    Data:
    konferencja 03.09-09.09
    Status:
    Published
  3. Confluence of nearly orthogonal infinitary term rewriting systems
    Authors:
    Łukasz Czajka
    Conference:
    RTA 2015 (rok: 2015, ), Wydawca: LIPIcs
    Data:
    konferencja 29.06.2015-01.07.2015
    Status:
    Published