Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Tytuł pozycji:

A Type Driven Theory of Predication with Complex Types

Szczegóły
Abstrakt

Tytuł:: A Type Driven Theory of Predication with Complex Types
Autorzy:: Asher, N.
Data publikacji:: 2008
Słowa kluczowe:: complex types
lambda calculus
categorial interpretation
copredication
coercion
dot types
Język:: angielski
Dostawca treści:: BazTech
: Artykuł

Przejdź do źródła

This paper investigates several models of the complex type ź which is needed to analyze copredication. Previous accounts are shown to be inadequate and a new account both of ź and copredication is proposed.

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

A Type Driven Theory of Predication with Complex Types