Showing 1 - 3 results of 3 for search 'Daniel Mihályi', query time: 0.07s Refine Results
  1. 1
    Between syntax and semantics of resource oriented logic for IDS behavior description
    by Ján Perháč, Daniel Mihályi, Valerie Novitzká
    Published 2016-06-01
    Get full text
    Article
  2. 2
    A categorical model of predicate linear logic
    Get full text
    Article
  3. 3
    Web-Based Questionnaires for Type Theory Course
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search