Ολοκληρωμένο Πληροφοριακό Σύστημα Δημοσιονομικής Πολιτικής του Γενικού Λογιστηρίου του Κράτους
Peginterferon-α
Etanercept
[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 2044 || Parigot’s Second Order λμ-Calculus and Inductive Types
![[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 2044 || Parigot’s Second Order λμ-Calculus and Inductive Types](https://static.fdocument.org/doc/330x215/5750a27b1a28abcf0c9b826a/lecture-notes-in-computer-science-typed-lambda-calculi-and-applications-volume-58a3cdb9649b7.jpg)
