Brigitte Pientka

Brigitte Pientka (born 1971) is a computer scientist whose research involves formal methods for software system safety, including type theory, automated reasoning, and the operational semantics of functional programming. Born in Germany and educated in Germany and the US, she works in Canada as a professor of computer science at McGill University, where she heads the Computation and Logic Group. Provided by Wikipedia
Showing 1 - 4 results of 4 for search 'Brigitte Pientka', query time: 0.02s Refine Results
  1. 1
    Multi-level Contextual Type Theory

    Multi-level Contextual Type Theory by Mathieu Boespflug, Brigitte Pientka

    Published 2011-10-01
    Get full text
    Article
  2. 2
    A Case Study on Logical Relations using Contextual Types

    A Case Study on Logical Relations using Contextual Types by Andrew Cave, Brigitte Pientka

    Published 2015-07-01
    Get full text
    Article
  3. 3
    Explicit Substitutions for Contextual Type Theory

    Explicit Substitutions for Contextual Type Theory by Andreas Abel, Brigitte Pientka

    Published 2010-09-01
    Get full text
    Article
  4. 4
    Programming type-safe transformations using higher-order abstract syntax

    Programming type-safe transformations using higher-order abstract syntax by Olivier Savary Belanger, Stefan Monnier, Brigitte Pientka

    Published 2015-12-01
    Get full text
    Article

Search Tools: