Wydział Matematyki i Informatyki
Uniwersytetu Jagiellońskiego
Logowanie
Publikacje
Czasopisma
Wydawnictwa
Konferencje
Konferencje
Pracownicy
Pracownicy wydziału
Doktoranci
Pracownicy emerytowani
Osoby związane z wydziałem
Byli doktoranci
Urlopy naukowe
Granty i Nagrody
Granty
Nagrody
Postępowania
Doktoraty
Habilitacje
Profesury
Katedra Podstaw Informatyki - lista publikacji
Nadjednostka:
Instytut Informatyki Analitycznej
[
Wszystkie publikacje
]
[
2024
] [
2023
] [
2022
] [
2021
] [
2020
] [
2019
] [
2018
] [
2017
] [
2016
] [
2015
] [
2014
] [
2013
] [
2012
] [
2011
] [
2010
] [
2009
] [
2008
] [
2007
] [
2006
] [
2005
] [
2004
] [
2003
] [
2001
] [
2000
] [
1997
] [
1995
] [
1992
] [
1990
] [
1989
] [
1988
] [
1987
] [
1985
] [
1984
]
1-2 z 2.
1989
2.
Marek Zaionc
On the lambda definable higher-order boolean functionals
,
Fundamenta Informaticae
vol. 12 (1989), 181-190
1.
Marek Zaionc
How To Define Functionals on Free Structures in Typed lambda Calculus
,
Lecture Notes in Computer Science
vol. 379 (1989), 566-576
7449
7448
