Showing
1 - 20
results of
34
for search '
PIENTKA, BRIGITTE
'
Skip to content
Toggle navigation
0
items
(Full)
All Fields
Title
Author
Subject
Find
Advanced
Search History
Search by Map:
Arctic
Antarctic
Author
PIENTKA, BRIGITTE
Search Results
Showing
1 - 20
results of
34
for search '
PIENTKA, BRIGITTE
'
, query time: 0.09s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Visual
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Please enable Javascript.
Please upgrade your browser.
What am I looking at?
Select Page | with selected:
Email
Export
Print
Add to Book Bag
1
2
Next
Last
Search Tools:
Get RSS Feed
Related Subjects
FOS Computer and information sciences
Programming Languages cs.PL
Beluga
Computer Science - Programming Languages
Logic in Computer Science cs.LO
Software
mechanization
session types
Computer Science Applications
Contextual Reasoning
Dependent Types
Higher-Order Abstract Syntax
Logical Frameworks
Mathematics (miscellaneous)
Pure Type Systems
Settore INF/01 - Informatica
Settore MAT/01 - Logica Matematica
System F
Type systems
de Bruijn Syntax
Certified Programming
Computer Science - Logic in Computer Science
D.3.1
D.3.1; F.3.1
Data processing Computer science
F.3.1
F3.1
Lambda calculus and related systems
Logical frameworks
Logical frameworks; Certified Programming; Type-preserving Compilation
Loading...