Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
6 links
Brigitte Pientka
Researcher
PaperExplicit Substitutions for Contextual Type TheoryAuthorship / preprint / 2010PaperMulti-level Contextual Type TheoryAuthorship / preprint / 2011PaperA Case Study on Logical Relations using Contextual TypesAuthorship / preprint / 2015PaperThe Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations: Part 1-A Common Infrastructure for BenchmarksAuthorship / preprint / 2015PaperAn Open Challenge Problem Repository for Systems Supporting BindersAuthorship / preprint / 2015PaperIdentifying Different Student Clusters in Functional Programming Assignments: From Quick Learners to Struggling StudentsAuthorship / preprint / 2023