Showing
1 - 14
results of
14
for search '
Brigitte Pientka
'
Skip to content
Toggle navigation
0
items
(Full)
All Fields
Title
Author
Subject
Find
Advanced
Search History
Search by Map:
Arctic
Antarctic
Author
Brigitte Pientka
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
Search Results
Showing
1 - 14
results of
14
for search '
Brigitte Pientka
'
, query time: 0.02s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Visual
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Journal of Automated Reasoning manuscript No. (will be inserted by the editor) T...
Get access
Get access
Journal of Automated Reasoning manuscript No. (will be inserted by the editor) T...
Get access
Get access
Well-founded Recursion over Contextual Objects
Get access
Get access
Well-founded Recursion over Contextual Objects
Get access
Get access
Well-founded Recursion over Contextual Objects
Get access
Get access
Well-founded Recursion over Contextual Objects
Get access
Get access
Inductive Beluga: Programming Proofs
Get access
Get access
Mechanizing Logical Relations using Contextual Type Theory
Get access
Get access
A Case Study on Logical Relations using Contextual Types
Get access
Get access
A Case Study on Logical Relations using Contextual Types
Get access
Get access
Bidirectional Elaboration of Dependently Typed Programs
Get access
Get access
Programming type-safe transformations using higher-order abstract syntax
Get access
Get access
Programming Type-Safe Transformations Using Higher-Order Abstract Syntax
Get access
Get access
Programming type-safe transformations using higher-order abstract syntax
Get access
Get access
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Search Tools:
Get RSS Feed
Related Subjects
Dependent Types
Logical Frameworks Digital Object Identifier 10.4230/LIPIcs.xxx.yyy.p
Electronic computers. Computer science
Logical frameworks
QA75.5-76.95
Analytic mechanics
Beluga
Certified Programming
Mathematics
Proof Assistant
QA1-939
QA801-939
Type-preserving Compilation
logical frameworks
logical relations
type reconstruction
Loading...